《程序设计方法学 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.2MODULA-2语言中的模块化结构71

3.3ADA语言中的程序包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.2SMALLTALK语言简介241

习题254

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

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

10.2快速原型技术260

参考文献266