什么是程序设计方法学

程序设计方法学(Programming Methodology)有两种含义:

一种是以程序设计方法为研究对象的学科，它不仅研究各种具体的方法，而且着重研究各种具体方法的共性，涉及规范的全局性方法，以及这些方法的显示背景和理论基础;另外一种含义是针对某一领域或某一领域的一类特定问题，所用的一整套特定程序设计方法所构成的体系。

作为一门学科(第一种含义)，程序设计方法学可对程序设计人员选用具体的程序设计方法起指导作用，而具体的程序设计方法对程序设计工作的质量以及所设计出大程序的质量影响巨大。因此，对程序设计方法学的研究是非常重要的。

作为一套完整特定的程序设计方法所构成的体系(第二种含义)，如逻辑式程序设计方法学、函数式程序设计方法学、对象式程序设计方法学等。它们有各自的利弊得失，与具体领域、具体问题以及具体环境相关。

两种含义之间的关系是：第二种含义是第一种含义的基础，第一种含义是在第二种含义的基础上的总结、提高，并上升到原理、原则和理论的高度。这两种含义的程序设计方法学都非常重要。