算法的过程。
抽象数据类型的研究.抽象数据类型是程序设计方法学中一种极为重要的方法。人们把它誉为程序设计方法学发展史上的一个重要的里程碑。
与软件工程的关系.
研究方法的不同.软件工程主要应用工程的方法和技术研究软件开发与维护的方法、工具和管理的一门计算机科学与工程学交叉的学科 程序设计方法学主要运用数学方法研究程序的性质以及程序设计的理论和方法的学科； 
研究的对象不同.软件工程的研究对象是软件系统。目标