程序设计方法学 程序设计方法学是讨论程序的性质以及程序设计的理论和方法的一门学科是研究和构造程序的过程的学问是研究关于问题的分析环境的模拟概念的获取需求定义的描述以及把这种描述变换细化和编码成机器可以接受的表示的一般的方法