目 录 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