結(jié)構(gòu)化與面向?qū)ο筌浖椒?/h1>

第一章  緒論
1.1  形成與發(fā)展
1.1.1  程序設(shè)計(jì)方法學(xué)
1.1.2  軟件工程
1.1.3  軟件方法學(xué)
1.1.4  結(jié)構(gòu)化方法
1.1.5  面向?qū)ο蠓椒?br />1.2  軟件生存周期
1.2.1  五個(gè)軟件時(shí)期的劃分
1.2.2  軟件定義與計(jì)劃
1.2.3  軟件分析
1.2.4  軟件設(shè)計(jì)
1.2.5  軟件實(shí)現(xiàn)
1.2.6  軟件運(yùn)行與維護(hù)
1.3  軟件開發(fā)過程模型
1.3.1  瀑布模型
1.3.2  原型模型
1.3.3  其它模型
第二章  結(jié)構(gòu)化程序及構(gòu)造方法
2.1  結(jié)構(gòu)化程序
2.1.1  結(jié)構(gòu)化程序設(shè)計(jì)
2.1.2  關(guān)于GOTO
2.1.3  控制結(jié)構(gòu)
2.1.4  正規(guī)程序
2.1.5  基本程序
2.1.6  結(jié)構(gòu)化程序
2.2  結(jié)構(gòu)化定理
2.2.1  程序函數(shù)
2.2.2  結(jié)構(gòu)化定理
2.2.3  非結(jié)構(gòu)化程序到結(jié)構(gòu)化程序轉(zhuǎn)換
2.3  逐步求精方法
2.3.1  什么是逐步求精
2.3.2  逐步求精技術(shù)
2.4  程序形式推導(dǎo)技術(shù)
2.4.1  語句的HOARE表示
2.4.2  謂詞變換器
2.4.3  程序的形式語義
2.4.4  面向目標(biāo)的推導(dǎo)
2.4.5  不變式推導(dǎo)
2.5  程序變換技術(shù)
2.5.1  程序變換的基本思想
2.5.2  程序變換的基本規(guī)則
2.5.3  程序的生成方法
2.5.4  遞歸消去法
第三章  結(jié)構(gòu)化分析與設(shè)計(jì)
3.1  結(jié)構(gòu)化分析與設(shè)計(jì)的一般步驟
3.2  數(shù)據(jù)流分析技術(shù)
3.2.1  數(shù)據(jù)流分析
3.2.2  數(shù)據(jù)流圖
3.2.3  數(shù)據(jù)字典
3.3  邏輯分析工具
3.3.1  結(jié)構(gòu)化語言
3.3.2  判定樹
3.3.3  判定表
3.4  結(jié)構(gòu)化設(shè)計(jì)的圖表工具
3.4.1  IPO圖
3.4.2  結(jié)構(gòu)圖
3.4.3  程序流程圖
3.4.4  盒圖
3.4.5  PAD圖
3.4.6  過程設(shè)計(jì)語言PDL
3.5  面向數(shù)據(jù)流的設(shè)計(jì)
3.5.1  變換流與事務(wù)流
3.5.2  設(shè)計(jì)步驟
3.5.3  變換設(shè)計(jì)
3.5.4  事務(wù)設(shè)計(jì)
3.6  面向數(shù)據(jù)結(jié)構(gòu)的設(shè)計(jì)
3.6.1  Jackson圖
3.6.2  Jackson方法
3.6.3  設(shè)計(jì)實(shí)例
3.7  模塊化技術(shù)
3.7.1  模塊與模塊化
3.7.2  模塊的特征與獨(dú)立性
3.7.3  模塊的藕合
3.7.4  模塊的內(nèi)聚
3.7.5  模塊設(shè)計(jì)一般準(zhǔn)則
3.7.6  模塊的作用域與控制域
3.8  應(yīng)用實(shí)踐
第四章  程序測(cè)試與正確性證明
4.1  程序正確性定義
4.2  HOARE公理化方法
4.2.1  HOARE基本法則
4.2.2  簡(jiǎn)單語句證明法則
4.2.3  循環(huán)語句證明法則
4.3  FLOYD方法
4.3.1  不變式斷言法
4.3.2  良序集法
4.4  遞歸程序正確性證明
4.4.1  遞歸與迭代
4.4.2  遞歸的程序模式
4.4.3  遞歸計(jì)算規(guī)則
4.4.4  結(jié)構(gòu)歸納法
4.4.5  良好歸納法
4.5  測(cè)試的基本功概念
4.5.1  軟件測(cè)試
4.5.2  黑盒測(cè)試與白盒測(cè)試
4.6  測(cè)試過程與步驟
4.6.1  測(cè)試過程
4.6.2  單元測(cè)試
4.6.3  集成測(cè)試
4.6.4  驗(yàn)收測(cè)試
4.7  測(cè)試方案設(shè)計(jì)
4.7.1  測(cè)試方案設(shè)計(jì)的基本原則
4.7.2  邏輯覆蓋
4.7.3  等價(jià)類劃分
4.7.4  邊界值分析
4.8  調(diào)試
4.8.1  靜態(tài)查找
4.8.2  消去法
4.8.3  回溯法
第五章  面向?qū)ο蟮母拍?br />5.1  對(duì)象與類
5.1.1  對(duì)象
5.1.2  消息與方法
5.1.3  類
5.2  基本特征
5.2.1  協(xié)議與封裝
5.2.2  繼承性
5.2.3  多態(tài)性與動(dòng)態(tài)聯(lián)編
5.3  軟件生存周期與開發(fā)模型
5.3.1  面向?qū)ο蟮能浖嬷芷?br />5.3.2  面向?qū)ο蠓椒ㄅc快速原型技術(shù)
第六章  面向?qū)ο蠓治雠c設(shè)計(jì)
6.1  前言
6.1.1  OOA形成
6.1.2  多層次多組成模型
6.1.3  OOA步驟
6.2  標(biāo)識(shí)類/對(duì)象
6.2.1  為什么要標(biāo)識(shí)類型/對(duì)象
6.2.2  如何確定對(duì)象
6.2.3  實(shí)例
6.3  標(biāo)識(shí)結(jié)構(gòu)
6.3.1  什么是結(jié)構(gòu)
6.3.2  為什么要定義結(jié)構(gòu)
6.3.3  如何定義結(jié)構(gòu)
6.4  標(biāo)識(shí)主題
6.4.1  什么是主題
6.4.2   為什么要引入主題
6.4.3  如何定義主題
6.5  定義屬性
6.5.1  為什么要定義屬性
6.5.2  如何定義屬性
6.6  定義服務(wù)
6.6.1  什么是服務(wù)
6.6.2  如何定義服務(wù)
6.6.3  表示所需要的服務(wù)
6.6.4  標(biāo)識(shí)消息連接
6.6.5  說明服務(wù)
6.7  面向?qū)ο笤O(shè)計(jì)
6.7.1  轉(zhuǎn)向面對(duì)象的設(shè)計(jì)
6.7.2  OOD準(zhǔn)則與步驟
6.7.3  匯集OOA文檔資料
第七章  面向?qū)ο蟪绦蛟O(shè)計(jì)
7.1  前言
7.1.1  OOD與實(shí)現(xiàn)語言
7.1.2  面向?qū)ο蟪绦蛟O(shè)計(jì)語言
7.1.3  面向?qū)ο蟪绦虻奶攸c(diǎn)
7.2  Smalltalk面向?qū)ο缶幊?br />7.2.1  對(duì)象、類、實(shí)例及繼承性
7.2.2  變量名與文字句法
7.2.3  消息表達(dá)式
7.2.4  塊表達(dá)式
7.2.5  基本控制結(jié)構(gòu)
7.2.6  方法
7.3  C++面向?qū)ο缶幊?br />7.3.1  C++面向?qū)ο蟾拍?br />7.3.2  C++類
7.3.3  成員函數(shù)
7.3.4  對(duì)象
7.3.5  構(gòu)造函數(shù)與析構(gòu)函數(shù)
7.3.6  繼承性與派生類
7.3.7  多態(tài)性與虛擬函數(shù)
7.3.8  友元
7.3.9  一個(gè)例子
第八章  軟件質(zhì)量與維護(hù)
8.1  軟件質(zhì)量
8.1.1  軟件質(zhì)量標(biāo)準(zhǔn)
8.1.2  軟件質(zhì)量保證
8.2  軟件質(zhì)量度量模型
8.2.1  Boehm模型
8.2.2  McCall模型
8.2.3  ISO建議模型
8.2.4  軟件質(zhì)量模型
8.3  軟件質(zhì)量評(píng)價(jià)方法
8.3.1  McCabe軟件復(fù)雜性度量
8.3.2  Halstad軟件復(fù)雜性度量方法
8.3.3  軟件可靠性度量方法
8.4  軟件維護(hù)的概念
8.4.1  軟件維護(hù)的類型
8.4.2  軟件的可維護(hù)性
8.4.3  軟件維護(hù)工作量模型
8.4.4  軟件維護(hù)的典型問題
8.4.5  維護(hù)的代價(jià)與副作用
8.5  維護(hù)過程與方法
8.5.1  維護(hù)組織
8.5.2  維護(hù)模型
8.5.3  維護(hù)報(bào)告
8.5.4  維護(hù)的記錄與評(píng)價(jià)
8.6  面向?qū)ο筌浖|(zhì)量與維護(hù)
8.6.1  軟件質(zhì)量保證和可維護(hù)性
8.6.2  面向?qū)ο筌浖|(zhì)量與維護(hù)的新課題
參考文獻(xiàn)