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

     目 錄
   第一章 結(jié)構(gòu)化程序設(shè)計(jì)
    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è)計(jì)
    1.2.1結(jié)構(gòu)化程序設(shè)計(jì)推薦框圖
    1.2.2逐步求精方法
    1.3模塊化程序設(shè)計(jì)
    1.3.1基本思想
    1.3.2模塊獨(dú)立性
    1.4程序設(shè)計(jì)風(fēng)格
    1.4.1基本思想
    1.4.2程序設(shè)計(jì)風(fēng)格
    1.4.3程序的健壯性
    思考練習(xí)題
   第二章 程序正確性證明
    2.1程序的部分正確性與終止性
    2.2部分正確性證明
    2.2.1不變式斷言法
    2.2.2公理化方法
    2.3終止性證明
    2.3.1良序集方法
    2.3.2計(jì)數(shù)器方法
    思考練習(xí)題
   第三章 遞歸程序正確性證明
    3.1遞歸轉(zhuǎn)化為迭代
    3.2遞歸程序模式及計(jì)算規(guī)則
    3.2.1遞歸程序模式
    3.2.2遞歸計(jì)算規(guī)則
    3.3遞歸程序正確性證明
    3.3.1結(jié)構(gòu)歸納法
    3.3.2良序歸納法
    思考練習(xí)題
   第四章 并行程序正確性證明
    4.1并行程序設(shè)計(jì)
    4.1.1信號(hào)燈
    4.1.2Ada中的并行性
    4.2時(shí)態(tài)邏輯簡(jiǎn)介
    4.2.1基本思想
    4.2.2模態(tài)邏輯簡(jiǎn)介
    4.2.3時(shí)態(tài)邏輯簡(jiǎn)介
    4.2.4程序時(shí)態(tài)邏輯
    4.3并行程序正確性證明
    4.3.1并行程序模型
    4.3.2并行程序性質(zhì)的時(shí)態(tài)描述
    思考練習(xí)題
   第五章 程序形式推導(dǎo)
    5.1謂詞變換器
    5.1.1基本思想
    5.1.2謂詞變換器
    5.2面向目標(biāo)的推導(dǎo)
    5.2.1序列語(yǔ)句推導(dǎo)
    5.2.2選擇語(yǔ)句推導(dǎo)
    5.2.3循環(huán)語(yǔ)句推導(dǎo)
    5.3循環(huán)不變式推導(dǎo)
    5.3.1刪去一個(gè)合取分量
    5.3.2用變量代替常量
    5.3.3擴(kuò)展變量的值域
    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ù)類型及其實(shí)現(xiàn)
    7.1抽象數(shù)據(jù)類型及代數(shù)規(guī)格說(shuō)明
    7.1.1抽象數(shù)據(jù)類型的概念
    7.1.2代數(shù)規(guī)格說(shuō)明
    7.1.3抽象數(shù)據(jù)類型的實(shí)現(xiàn)
    7.2一種形式變換方法簡(jiǎn)介
    7.2.1抽象數(shù)據(jù)類型的形式化討論
    7.2.2中間抽象數(shù)據(jù)類型的確定
    7.2.3變換規(guī)則及正確性
    7.3基于抽象數(shù)據(jù)類型設(shè)計(jì)程序設(shè)計(jì)語(yǔ)言
    7.3.1抽象數(shù)據(jù)類型的簡(jiǎn)單定義
    7.3.2項(xiàng)語(yǔ)言和條件語(yǔ)言
    7.3.3子程序語(yǔ)言
    7.3.4子程序調(diào)用的討論
    7.3.5遞歸程序正確性驗(yàn)證
    思考練習(xí)題
   第八章 軟件工程
    8.1軟件和軟件周期
    8.2軟件工程
    8.3系統(tǒng)定義與軟件計(jì)劃
    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è)計(jì)
    8.5.1結(jié)構(gòu)化設(shè)計(jì)方法
    8.5.2模塊結(jié)構(gòu)圖
    8.5.3從數(shù)據(jù)流程圖導(dǎo)出模塊結(jié)構(gòu)圖
    8.5.4Jackson方法
    8.6祥細(xì)設(shè)計(jì)
    8.6.1基本思想
    8.6.2圖形設(shè)計(jì)工具
    8.7軟件編碼
    8.7.1結(jié)構(gòu)化程序設(shè)計(jì)方法
    8.7.2程序設(shè)計(jì)質(zhì)量
    8.8軟件測(cè)試
    8.8.1測(cè)試方法
    8.8.2單元測(cè)試
    8.8.3組裝測(cè)試
    8.8.4確認(rèn)測(cè)試
    8.8.5測(cè)試實(shí)例設(shè)計(jì)
    8.9軟件維護(hù)
    8.9.1軟件維護(hù)的內(nèi)容
    8.9.2軟件維護(hù)的過(guò)程
    8.9.3軟件的可維護(hù)性
    思考練習(xí)題
   第九章 快速原型法與第四代語(yǔ)言
    9.1快速原型法
    9.1.1基本思想
    9.1.2快速原型開發(fā)模型
    9.1.3快速原型技術(shù)
    9.1.4用快速原型法生成用戶界面
    9.2第四代語(yǔ)言
    9.2.1基本思想
    9.2.2第四代語(yǔ)言的環(huán)境
    9.2.3第四代語(yǔ)言的基本原理
    思考練習(xí)題
   第十章 面向?qū)ο蟮姆椒?br />     10.1面向?qū)ο蠹夹g(shù)
    10.1.1對(duì)象、操作、消息和信息隱藏
    10.1.2類、實(shí)例和繼承性
    10.1.3對(duì)象描述
    10.2面向?qū)ο蟮能浖_發(fā)
    10.2.1面向?qū)ο蟮南到y(tǒng)分析與設(shè)計(jì)
    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è)計(jì)
    思考練習(xí)題
   第十一章 軟件工程環(huán)境
    11.1軟件工程環(huán)境的建立
    11.1.1軟件工程環(huán)境的構(gòu)成及特點(diǎn)
    11.1.2軟件工程環(huán)境的類型
    11.2形式化開發(fā)環(huán)境
    11.2.1基本概念
    11.2.2XYZ系統(tǒng)簡(jiǎn)介
    11.3模型開發(fā)環(huán)境及功能設(shè)計(jì)
    11.3.1模型開發(fā)現(xiàn)狀
    11.3.2模型開發(fā)環(huán)境
    11.3.3主要功能設(shè)計(jì)
    思考練習(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新的測(cè)試復(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)換及簡(jiǎn)化
    12.4.2循環(huán)網(wǎng)絡(luò)的簡(jiǎn)化
    12.4.3條件語(yǔ)句執(zhí)行時(shí)間的估計(jì)
    12.4.4循環(huán)程序執(zhí)行時(shí)間的估計(jì)
    思考練習(xí)題
   參考文獻(xiàn)