計算機軟件方法學(xué)

     目 錄
   第一章 結(jié)構(gòu)化程序設(shè)計
    1.1結(jié)構(gòu)化程序
    1.1.1程序結(jié)構(gòu)
    1.1.2結(jié)構(gòu)化程序的定義
    1.1.3結(jié)構(gòu)化定理
    1.2結(jié)構(gòu)化程序設(shè)計
    1.2.1結(jié)構(gòu)化程序設(shè)計推薦框圖
    1.2.2逐步求精方法
    1.3模塊化程序設(shè)計
    1.3.1基本思想
    1.3.2模塊獨立性
    1.4程序設(shè)計風(fēng)格
    1.4.1基本思想
    1.4.2程序設(shè)計風(fēng)格
    1.4.3程序的健壯性
    思考練習(xí)題
   第二章 程序正確性證明
    2.1程序的部分正確性與終止性
    2.2部分正確性證明
    2.2.1不變式斷言法
    2.2.2公理化方法
    2.3終止性證明
    2.3.1良序集方法
    2.3.2計數(shù)器方法
    思考練習(xí)題
   第三章 遞歸程序正確性證明
    3.1遞歸轉(zhuǎn)化為迭代
    3.2遞歸程序模式及計算規(guī)則
    3.2.1遞歸程序模式
    3.2.2遞歸計算規(guī)則
    3.3遞歸程序正確性證明
    3.3.1結(jié)構(gòu)歸納法
    3.3.2良序歸納法
    思考練習(xí)題
   第四章 并行程序正確性證明
    4.1并行程序設(shè)計
    4.1.1信號燈
    4.1.2Ada中的并行性
    4.2時態(tài)邏輯簡介
    4.2.1基本思想
    4.2.2模態(tài)邏輯簡介
    4.2.3時態(tài)邏輯簡介
    4.2.4程序時態(tài)邏輯
    4.3并行程序正確性證明
    4.3.1并行程序模型
    4.3.2并行程序性質(zhì)的時態(tài)描述
    思考練習(xí)題
   第五章 程序形式推導(dǎo)
    5.1謂詞變換器
    5.1.1基本思想
    5.1.2謂詞變換器
    5.2面向目標(biāo)的推導(dǎo)
    5.2.1序列語句推導(dǎo)
    5.2.2選擇語句推導(dǎo)
    5.2.3循環(huán)語句推導(dǎo)
    5.3循環(huán)不變式推導(dǎo)
    5.3.1刪去一個合取分量
    5.3.2用變量代替常量
    5.3.3擴展變量的值域
    5.3.4前部條件與后部條件結(jié)合
    5.4逐步求精模型
    5.4.1后置條件的變換
    5.4.2基本不變式的構(gòu)造
    5.4.3細(xì)分規(guī)則
    5.4.4構(gòu)造規(guī)則的求精
    思考練習(xí)題
   第六章 程序變換
    6.1程序變換基本規(guī)則
    6.1.1變換的基本思想
    6.1.2變換的基本規(guī)則
    6.2程序生成
    6.3程序改進(jìn)
    6.3.1非尾遞歸轉(zhuǎn)化為尾遞歸
    6.3.2多遞歸分支的轉(zhuǎn)化
    6.3.3二重遞歸的轉(zhuǎn)化
    6.4函數(shù)復(fù)合和反演
    6.4.1函數(shù)復(fù)合
    6.4.2函數(shù)反演
    思考練習(xí)題
   第七章 抽象數(shù)據(jù)類型及其實現(xiàn)
    7.1抽象數(shù)據(jù)類型及代數(shù)規(guī)格說明
    7.1.1抽象數(shù)據(jù)類型的概念
    7.1.2代數(shù)規(guī)格說明
    7.1.3抽象數(shù)據(jù)類型的實現(xiàn)
    7.2一種形式變換方法簡介
    7.2.1抽象數(shù)據(jù)類型的形式化討論
    7.2.2中間抽象數(shù)據(jù)類型的確定
    7.2.3變換規(guī)則及正確性
    7.3基于抽象數(shù)據(jù)類型設(shè)計程序設(shè)計語言
    7.3.1抽象數(shù)據(jù)類型的簡單定義
    7.3.2項語言和條件語言
    7.3.3子程序語言
    7.3.4子程序調(diào)用的討論
    7.3.5遞歸程序正確性驗證
    思考練習(xí)題
   第八章 軟件工程
    8.1軟件和軟件周期
    8.2軟件工程
    8.3系統(tǒng)定義與軟件計劃
    8.3.1系統(tǒng)分析
    8.3.2可行性研究
    8.3.3成本效益分析
    8.4軟件需求
    8.4.1結(jié)構(gòu)化分析方法
    8.4.2數(shù)據(jù)流程圖
    8.4.3數(shù)據(jù)字典
    8.5概要設(shè)計
    8.5.1結(jié)構(gòu)化設(shè)計方法
    8.5.2模塊結(jié)構(gòu)圖
    8.5.3從數(shù)據(jù)流程圖導(dǎo)出模塊結(jié)構(gòu)圖
    8.5.4Jackson方法
    8.6祥細(xì)設(shè)計
    8.6.1基本思想
    8.6.2圖形設(shè)計工具
    8.7軟件編碼
    8.7.1結(jié)構(gòu)化程序設(shè)計方法
    8.7.2程序設(shè)計質(zhì)量
    8.8軟件測試
    8.8.1測試方法
    8.8.2單元測試
    8.8.3組裝測試
    8.8.4確認(rèn)測試
    8.8.5測試實例設(shè)計
    8.9軟件維護(hù)
    8.9.1軟件維護(hù)的內(nèi)容
    8.9.2軟件維護(hù)的過程
    8.9.3軟件的可維護(hù)性
    思考練習(xí)題
   第九章 快速原型法與第四代語言
    9.1快速原型法
    9.1.1基本思想
    9.1.2快速原型開發(fā)模型
    9.1.3快速原型技術(shù)
    9.1.4用快速原型法生成用戶界面
    9.2第四代語言
    9.2.1基本思想
    9.2.2第四代語言的環(huán)境
    9.2.3第四代語言的基本原理
    思考練習(xí)題
   第十章 面向?qū)ο蟮姆椒?br />     10.1面向?qū)ο蠹夹g(shù)
    10.1.1對象、操作、消息和信息隱藏
    10.1.2類、實例和繼承性
    10.1.3對象描述
    10.2面向?qū)ο蟮能浖_發(fā)
    10.2.1面向?qū)ο蟮南到y(tǒng)分析與設(shè)計
    10.2.2面向?qū)ο蟮纳芷?br />     10.3面向?qū)ο蟮膶＜蚁到y(tǒng)
    10.3.1面向?qū)ο蟮姆椒ㄅc專家系統(tǒng)
    10.3.2面向?qū)ο蟮膶＜蚁到y(tǒng)設(shè)計
    思考練習(xí)題
   第十一章 軟件工程環(huán)境
    11.1軟件工程環(huán)境的建立
    11.1.1軟件工程環(huán)境的構(gòu)成及特點
    11.1.2軟件工程環(huán)境的類型
    11.2形式化開發(fā)環(huán)境
    11.2.1基本概念
    11.2.2XYZ系統(tǒng)簡介
    11.3模型開發(fā)環(huán)境及功能設(shè)計
    11.3.1模型開發(fā)現(xiàn)狀
    11.3.2模型開發(fā)環(huán)境
    11.3.3主要功能設(shè)計
    思考練習(xí)題
   第十二章 程序復(fù)雜性度量
    12.1經(jīng)典的度量方法
    12.1.1Halstead度量法
    12.1.2McCabe度量法
    12.2McCabe和Halstead度量法的缺陷及改進(jìn)
    12.2.1基本思想
    12.2.2公理化軟件復(fù)雜性度量
    12.2.3新的測試復(fù)雜性度量方法
    12.3結(jié)構(gòu)復(fù)雜性度量方法
    12.3.1程序結(jié)構(gòu)的描述
    12.3.2程序結(jié)構(gòu)的組成
    12.3.3程序結(jié)構(gòu)的分解
    12.3.4復(fù)雜性度量
    12.3.5與其它度量方法的聯(lián)系
    12.4程序網(wǎng)絡(luò)度量方法
    12.4.1程序網(wǎng)絡(luò)的轉(zhuǎn)換及簡化
    12.4.2循環(huán)網(wǎng)絡(luò)的簡化
    12.4.3條件語句執(zhí)行時間的估計
    12.4.4循環(huán)程序執(zhí)行時間的估計
    思考練習(xí)題
   參考文獻(xiàn)