計算機軟件方法學

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