本書介紹程序設(shè)計(jì)方法學(xué)，包括結(jié)構(gòu)化程序、程序正確性證明、結(jié)構(gòu)化程序的正確性證明、遞歸程序及其正確性證明、程序的形式推導(dǎo)技術(shù)、程序變換技術(shù)、面向?qū)ο蟮脑O(shè)計(jì)方法和大型程序設(shè)計(jì)方法學(xué)基礎(chǔ)等內(nèi)容。
第1章 程序設(shè)計(jì)方法學(xué)簡(jiǎn)介
1.1 程序設(shè)計(jì)方法學(xué)的產(chǎn)生
1.2 結(jié)構(gòu)程序設(shè)計(jì)及其討論的一些主要問(wèn)題
習(xí)題
第2章 結(jié)構(gòu)化程序
2.1 什么是結(jié)構(gòu)化程序
2.2 結(jié)構(gòu)化定理
2.3 一些新的控制結(jié)構(gòu)
習(xí)題
第3章 模塊化程序設(shè)計(jì)
3.1 MODULA-2語(yǔ)言中的模塊化結(jié)構(gòu)
3.2 ADA語(yǔ)言中的程序包
習(xí)題
第4章 面向?qū)ο蟮某绦蛟O(shè)計(jì)方法
4.1 什么是面向?qū)ο蟮某绦蛟O(shè)計(jì)
4.2 應(yīng)用框架
4.3 設(shè)計(jì)模式
4.4 淺談面向?qū)ο笤O(shè)計(jì)語(yǔ)言
習(xí)題
第5章 程序正確性證明
5.1 概述
5.2 不變式斷言法
5.3 子目標(biāo)斷言法
5.4 公理化方法
5.5 良序集方法
5.6 計(jì)數(shù)器方法
習(xí)題
第6章 結(jié)構(gòu)化程序的正確性證明
6.1 正確性定理
6.2 證明程序正確性的代數(shù)方法
6.3 產(chǎn)生循環(huán)不變式的一種方法
習(xí)題
第7章 遞歸程序及其正確性證明
7.1 迭代與遞歸
7.2 遞歸程序的一種模型
7.3 遞歸程序的正確性證明
習(xí)題
第8章 程序的形式推導(dǎo)技術(shù)
8.1 謂詞變換器及其性質(zhì)
8.2 面向目標(biāo)的程序推導(dǎo)
8.3 循環(huán)不變式的推導(dǎo)技術(shù)
習(xí)題
第9章 程序變換技術(shù)
9.1 程序變換的基本思想和基本規(guī)則
9.2 程序生成階段
9.3 程序改進(jìn)階段（）
9.4 程序改進(jìn)階段（）
9.5 程序改進(jìn)階段（）
9.6 程序變換研究中的若干問(wèn)題
習(xí)題
0章 大型程序設(shè)計(jì)方法學(xué)基礎(chǔ)
10.1 抽象數(shù)據(jù)類型的代數(shù)規(guī)范
10.2 抽象數(shù)據(jù)類型的形式化基礎(chǔ)
10.3 形式規(guī)范的應(yīng)用
參考文獻(xiàn)
書單推薦
