零缺陷程序設(shè)計(jì)

出版者的話
專(zhuān)家指導(dǎo)委員會(huì)
譯者序
前言
第1章  概述
1.1  問(wèn)題：bug
1.2  凈室方法
1.3  關(guān)于本書(shū)
備注
第2章  運(yùn)算函數(shù)
2.1  運(yùn)算：狀態(tài)與函數(shù)
2.2  函數(shù)表示法：并行處理
2.3  條件并行處理
2.4  局部變量
2.5  基于預(yù)期函數(shù)的規(guī)定
2.6  其他標(biāo)記法簡(jiǎn)介
2.7  預(yù)期函數(shù)的編寫(xiě)
練習(xí)
備注
第3章  驗(yàn)證
3.1  結(jié)構(gòu)化控制語(yǔ)句
3.2  預(yù)期函數(shù)的定位
3.3  替換原則
3.4  代碼序列
3.5  跟蹤表
3.6  if語(yǔ)句
3.7  條件分支跟蹤表
練習(xí)
備注
第4章  迭代的驗(yàn)證
4.1  while語(yǔ)句
4.2  循環(huán)中止的驗(yàn)證
4.3  已初始化循環(huán)
4.4  為獨(dú)立的循環(huán)編寫(xiě)預(yù)期函數(shù)
4.5  其他形式的不定迭代
練習(xí)
備注
第5章  基于預(yù)期函數(shù)的程序設(shè)計(jì)
5.1  Pascal程序：最長(zhǎng)一行的長(zhǎng)度
5.2  C程序：統(tǒng)計(jì)字符及數(shù)字的出現(xiàn)次數(shù)
5.3  Icon程序：字符串解壓縮
5.4  抽象化的探討：登記注冊(cè)系統(tǒng)
5.5  讓事情簡(jiǎn)單
練習(xí)
備注
第6章  驗(yàn)證過(guò)程的回顧
6.1  為什么驗(yàn)證必須回顧
6.2  凈室過(guò)程中的驗(yàn)證回顧
6.3  驗(yàn)證回顧是如何完成的
6.4  示例：注冊(cè)登記系統(tǒng)的另一個(gè)例程
6.5  示例：測(cè)試數(shù)據(jù)生成器例程
6.6  示例討論
練習(xí)
備注
第7章  定迭代
7.1  序列上的定迭代
7.2  序列變量
7.3  其他序列表達(dá)式
7.4  整型值的范圍
7.5  其他數(shù)據(jù)結(jié)構(gòu)
7.6  迭代機(jī)制
7.7  程序設(shè)計(jì)中的集合與序列
練習(xí)
備注
第8章  數(shù)據(jù)抽象與面向?qū)ο缶幊?br />8.1  數(shù)據(jù)抽象與封裝
8.2  抽象函數(shù)
8.3  數(shù)據(jù)不變性
8.4  面向?qū)ο缶幊?br />練習(xí)
備注
第9章  遞歸與函數(shù)化語(yǔ)言
9.1  遞歸例程
9.2  終止
9.3  相互遞歸
9.4  函數(shù)化語(yǔ)言
練習(xí)
備注
第10章  測(cè)試
10.1  測(cè)試的角色
10.2  基于使用的測(cè)試
10.3  測(cè)試數(shù)據(jù)生成器
10.4  測(cè)試的其他方式
練習(xí)
備注
第11章  增量開(kāi)發(fā)
11.1  用增量的方式開(kāi)發(fā)程序
11.2  計(jì)劃與實(shí)現(xiàn)的過(guò)程
11.3  示例：排演計(jì)劃
練習(xí)
備注
第12章  我們將走向何方
12.1  凈室過(guò)程的其他部分
12.2  其他的形式方法
12.3  我們學(xué)會(huì)了什么
12.4  展望未來(lái)
備注
部分習(xí)題的提示
參考文獻(xiàn)