程序设计方法学PDF电子书下载

目 录 1

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

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

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

第二章结构化程序 16

§2.1什么是结构化程序 16

§2.2结构化定理 22

§2.3一些新的控制结构 32

习题 43

第三章逐步求精的程序设计方法 45

§3.1两个例子 45

§3.2与逐步求精方法有关的几个问题 57

习题 67

第四章程序部分正确性的证明 69

§4.1程序正确性证明简介 69

§4.2不变式断言法 72

§4.3子目标断言法 80

§4.4公理化方法 84

习题 93

第五章程序终止性的证明 96

§5.1良序集方法 96

§5.2计数器方法 103

§5.3完全正确性证明简介 107

习题 114

§6.1正确性定理 116

第六章结构化程序的正确性证明 116

§6.2证明程序正确性的代数方法 120

§6.3产生循环不变式的一种方法 132

习题 136

第七章递归程序及其正确性证明 137

§7.1迭代与递归 137

§7.2递归程序的一种模型 137

§7.3结构归纳法及其在证明递归程序正确性 149

中的应用 149

习题 159

第八章程序的形式推导技术 160

§8.1程序形式推导的基本思想 160

§8.2面向目标的程序推导 166

§8.3循环不变式的推导技术 182

习题 190

第九章程序变换技术 192

§9.1问题的提出 192

§9.2程序变换的基本思想和基本规则 193

§9.3程序生成阶段 197

§9.4程序改进阶段（Ⅰ） 202

§9.5程序改进阶段（Ⅱ） 207

§9.6程序改进阶段（Ⅲ） 214

§9.7程序变换研究中的若干问题 218

习题 220

第十章程序工具和软件开发环境简介 221

参考文献 225