程序设计方法学的介绍

程序设计方法学的介绍

用以指导程序设计各阶段工作的原理和原则，以及依此提出的设计技术。有时也指研究这些原理、原则和技术的学科。程序设计方法学的目标是能设计出可靠、易读而且代价合理的程序。程序设计方法学包括程序理论、研制技术、支援环境、工程规范和自动程序设计等课题，使程序设计更加科学化和工程化。其基本内容是：结构程序设计；程序理论在程序设计技术中的应用，以及规格说明和变换技术。程序理论与程序设计方法学的发展密切相关，它丰富了程序人员的思维方法，促进了程序设计技术的发展。