T007693　程序设计方法学

出处：按学科分类—综合性图书 湖北人民出版社《中国图书大辞典：1949-1992第16册工业技术(下)》第812页（260字）

胡正国等编着。

西北工业大学出版社1987年2月版，1992年11月版。21．0万字。

共10章：第一章，程序设计方法学简介；第二章，结构化程序；第三章，模块化程序设计；第四章，程序正确性证明；第五章，结构化程序的正确性证明；第六章，递归程序及其正确性证明；第七章，程序的形式推导技术；第八章，程序变换技术；第九章，面向对象的程序设计方法；第十章，软件开发方法与工具简介。

第二版对原有内容作了修改和调整，并补充了模块化程序设计、面向对象的程序设计方法和快速原型技术的内容。