《高等学校教材 程序设计方法学 1992修订本》

第一章 程序设计方法学简介1

1.1 程序设计方法学的产生1

1.2 结构程序设计及其讨论的一些主要问题3

习题28

第二章 结构化程序30

2.1 什么是结构化程序30

2.2 结构化定理36

2.3 一些新的控制结构47

习题58

第三章 模块化程序设计60

3.1 模块化程序设计的基本思想60

3.2 MODULA-2语言中的模块化结构71

3.3 ADA语言中的程序包78

习题84

第四章 程序正确性证明86

4.1 程序正确性证明简介86

4.1 不变式断言法89

4.3 子目标断言法98

4.4 公理化方法102

4.5 良序集方法110

4.6 计数器方法118

习题121

第五章 结构化程序的正确性证明126

5.1 正确性定理126

5.2 证明程序正确性的代数方法130

5.3 产生循环不变式的一种方法142

习题145

第六章 递归程序及其正确性证明147

6.1 迭代与递归147

6.2 递归程序的一种模型148

6.3 递归程序的正确性证明159

习题168

第七章 程序的形式推导技术170

7.1 谓词变换器及其性质170

7.2 面向目标的程序推导174

7.3 循环不变式的推导技术192

习题199

第八章 程序变换技术201

8.1 程序变换的基本思想和基本规则201

8.2 程序生成阶段206

8.3 程序改进阶段（Ⅰ）211

8.4 程序改进阶段（Ⅱ）217

8.5 程序改进阶段（Ⅲ）224

8.6 程序变换研究中的若干问题228

习题229

第九章 面向对象的程序设计方法231

9.1 面向对象的程序设计方法的基本思想231

9.2 SMALLTALK语言简介241

习题254

第十章 软件开发方法与工具简介256

10.1 程序工具和软件开发环境256

10.2 快速原型技术260

参考文献266