軟件工程：實(shí)踐者的研究方法

     目 錄
   作者簡介
   譯者簡介
   前言
   第一部分 產(chǎn)品和過程
    第1章 產(chǎn)品
    1.1 軟件的發(fā)展
    1.1.1產(chǎn)業(yè)的觀點(diǎn)
    1.1.2老化的軟件工廠
    1.1.3軟件的競爭
    1.2軟件
    1.2.1軟件特征
    1.2.2軟件構(gòu)件
    1.2.3軟件應(yīng)用
    1.3軟件：地平線上的危機(jī)
    1.4軟件神話
    1.5小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第2章 過程
    2.1軟件工程——一種層次化技術(shù)
    2.1.1過程、方法和工具
    2.1.2 軟件工程的一般視圖
    2.2軟件過程
    2.3軟件過程模型
    2.4線性順序模型
    2.5原型模型
    2.6RAD模型
    2.7演化軟件過程模型
    2.7.1增量模型
    2.7.2螺旋模型
    2.7.3構(gòu)件組裝模型
    2.7.4并發(fā)開發(fā)模型
    2.8形式化方法模型
    2.9第四代技術(shù)
    2.10過程技術(shù)
    2.11產(chǎn)品和過程
    2.12小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
   第二部分 軟件項(xiàng)目的管理
    第3章 項(xiàng)目管理的概念
    3.1管理的范圍
    3.1.1人員
    3.1.2問題
    3.1.3過程
    3.2人員
    3.2.1項(xiàng)目參與者
    3.2.2項(xiàng)目負(fù)責(zé)人
    3.2.3軟件項(xiàng)目組
    3.2.4協(xié)調(diào)和通信問題
    3.3問題
    3.3.1軟件范圍
    3.3.2問題分解
    3.4過程
    3.4.1合并問題和過程
    3.4.2過程分解
    3.5項(xiàng)目
    3.6小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第4章 軟件過程和項(xiàng)目的度量
    4.1測度、度量和指標(biāo)
    4.2過程和項(xiàng)目領(lǐng)域中的度量
    4.2.1過程度量和軟件過程改進(jìn)
    4.2.2項(xiàng)目度量
    4.3軟件測量
    4.3.1面向規(guī)模的度量
    4.3.2面向功能的度量
    4.3.3擴(kuò)展的功能點(diǎn)度量
    4.4調(diào)和不同的度量方法
    4.5軟件質(zhì)量度量
    4.5.1概述影響質(zhì)量的因素
    4.5.2測量質(zhì)量
    4.5.3缺陷排除效率
    4.6在軟件過程中集成度量
    4.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第5章 軟件項(xiàng)目計(jì)劃
    5.1對(duì)估算的觀察
    5.2項(xiàng)目計(jì)劃目標(biāo)
    5.3軟件范圍
    5.3.1獲取定義軟件范圍所需的信息
    5.3.2一個(gè)范圍定義的例子
    5.4 資源
    5.4.1人力資源
    5.4.2可復(fù)用軟件資源
    5.4.3環(huán)境資源
    5.5軟件項(xiàng)目估算
    5.6分解技術(shù)
    5.6.1軟件規(guī)模估算
    5.6.2基于問題的估算
    5.6.3一個(gè)基于LOC估算的例子
    5.6.4一個(gè)基于FP估算的例子
    5.6.5基于過程的估算
    5.6.6一個(gè)基于過程估算的例子
    5.7經(jīng)驗(yàn)估算模型
    5.7.1估算模型的結(jié)構(gòu)
    5.7.2COCOMO模型
    5.7.3軟件方程式
    5.8自行開發(fā)或購買的決策
    5.8.1創(chuàng)建決策樹
    5.8.2外購
    5.9自動(dòng)估算工具
    5.10小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第6章 風(fēng)險(xiǎn)管理
    6.1被動(dòng)和主動(dòng)的風(fēng)險(xiǎn)策略
    6.2軟件風(fēng)險(xiǎn)
    6.3識(shí)別風(fēng)險(xiǎn)
    6.3.1產(chǎn)品規(guī)模風(fēng)險(xiǎn)
    6.3.2商業(yè)影響風(fēng)險(xiǎn)
    6.3.3客戶相關(guān)的風(fēng)險(xiǎn)
    6.3.4過程風(fēng)險(xiǎn)
    6.3.5技術(shù)風(fēng)險(xiǎn)
    6.3.6開發(fā)環(huán)境風(fēng)險(xiǎn)
    6.3.7與人員數(shù)目及經(jīng)驗(yàn)相關(guān)的風(fēng)險(xiǎn)
    6.3.8風(fēng)險(xiǎn)因素和驅(qū)動(dòng)因子
    6.4風(fēng)險(xiǎn)預(yù)測
    6.4.1建立風(fēng)險(xiǎn)表
    6.4.2評(píng)估風(fēng)險(xiǎn)影響
    6.4.3風(fēng)險(xiǎn)評(píng)估
    6.5風(fēng)險(xiǎn)緩解、監(jiān)控和管理
    6.6安全性風(fēng)險(xiǎn)和危險(xiǎn)
    6.7RMMM計(jì)劃
    6.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第7章 項(xiàng)目進(jìn)度安排及跟蹤
    7.1基本概念
    7.1.1關(guān)于“延遲”的評(píng)注
    7.1.2 基本原則
    7.2 人員和工作量之間的關(guān)系
    7.2.1一個(gè)例子
    7.2.2一個(gè)經(jīng)驗(yàn)關(guān)系
    7.2.3工作量分布
    7.3為軟件項(xiàng)目定義任務(wù)集合
    7.3.1嚴(yán)格度
    7.3.2定義適應(yīng)性準(zhǔn)則
    7.3.3計(jì)算任務(wù)集合選擇因子的值
    7.3.4解釋TSS值并選擇任務(wù)集合
    7.4選擇軟件工程任務(wù)
    7.5主要任務(wù)的求精
    7.6定義任務(wù)網(wǎng)絡(luò)
    7.7進(jìn)度安排
    7.7.1時(shí)間表
    7.7.2跟蹤進(jìn)度
    7.8項(xiàng)目計(jì)劃
    7.9小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第8章 軟件質(zhì)量保證
    8.1質(zhì)量概念
    8.1.1質(zhì)量
    8.1.2質(zhì)量控制
    8.1.3質(zhì)量保證
    8.1.4 質(zhì)量的成本
    8.2質(zhì)量運(yùn)動(dòng)
    8.3軟件質(zhì)量保證
    8.3.1背景
    8.3.2SQA活動(dòng)
    8.4軟件復(fù)審
    8.4.1軟件缺陷對(duì)成本的影響
    8.4.2缺陷的放大和消除
    8.5正式技術(shù)復(fù)審
    8.5.1復(fù)審會(huì)議
    8.5.2復(fù)審報(bào)告和記錄保存
    8.5.3復(fù)審指南
    8.6SQA的形式化方法
    8.7統(tǒng)計(jì)質(zhì)量保證
    8.8軟件可靠性
    8.8.1可靠性和可用性的度量
    8.8.2軟件的安全和危險(xiǎn)的分析
    8.9SQA計(jì)劃
    8.10ISO9000質(zhì)量標(biāo)準(zhǔn)
    8.10.1ISO對(duì)質(zhì)量保證系統(tǒng)的方法
    8.10.2ISO9001標(biāo)準(zhǔn)
    8.11小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第9章 軟件配置管理
    9.1軟件配置管理
    9.1.1基線
    9.1.2軟件配置項(xiàng)
    9.2SCM過程
    9.3軟件配置中對(duì)象的標(biāo)識(shí)
    9.4版本控制
    9.5變化控制
    9.6配置審計(jì)
    9.7狀態(tài)報(bào)告
    9.8SCM標(biāo)準(zhǔn)
    9.9小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
   第三部分 傳統(tǒng)軟件工程方法
    第10章 系統(tǒng)工程
    10.1基于計(jì)算機(jī)的系統(tǒng)
    10.2系統(tǒng)工程層次結(jié)構(gòu)
    10.2.1系統(tǒng)建模
    10.2.2信息工程：概述
    10.2.3產(chǎn)品工程：概述
    10.3信息工程
    10.4信息策略計(jì)劃
    10.4.1企業(yè)建模
    10.4.2業(yè)務(wù)級(jí)數(shù)據(jù)建模
    10.5業(yè)務(wù)域分析
    10.5.1處理建模
    10.5.2信息流建模
    10.6產(chǎn)品工程
    10.6.1系統(tǒng)分析
    10.6.2說明客戶需要
    10.6.3可行性研究
    10.6.4經(jīng)濟(jì)分析
    10.6.5技術(shù)分析
    10.7系統(tǒng)體系結(jié)構(gòu)建模
    10.8系統(tǒng)建模和仿真
    10.9系統(tǒng)規(guī)約
    10.10小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第11章 分析概念和原則
    11.1需求分析
    11.2通信技術(shù)
    11.2.1過程的啟動(dòng)
    11.2.2便利的應(yīng)用規(guī)約技術(shù)
    11.2.3質(zhì)量功能部署
    11.3分析原則
    11.3.1信息域
    11.3.2建模
    11.3.3劃分
    11.3.4基本視圖和實(shí)現(xiàn)視圖
    11.4軟件原型
    11.4.1選擇原型方法
    11.4.2原型方法和工具
    11.5規(guī)約
    11.5.1規(guī)約原則
    11.5.2表示
    11.5.3軟件需求規(guī)約
    11.6規(guī)約復(fù)審
    11.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第12章 分析建模
    12.1簡史
    12.2分析模型的元素
    12.3數(shù)據(jù)建模
    12.3.1數(shù)據(jù)對(duì)象、屬性和關(guān)系
    12.3.2基數(shù)和形態(tài)
    12.3.3實(shí)體—關(guān)系圖
    12.4功能建模和信息流
    12.4.1數(shù)據(jù)流圖
    12.4.2針對(duì)實(shí)時(shí)系統(tǒng)的擴(kuò)展
    12.4.3Ward和Mellor擴(kuò)展
    12.4.4Hatley和Pirbhai擴(kuò)展
    12.5行為建模
    12.6結(jié)構(gòu)化分析的技巧
    12.6.1創(chuàng)建實(shí)體—關(guān)系圖
    12.6.2創(chuàng)建數(shù)據(jù)流模型
    12.6.3創(chuàng)建控制流模型
    12.6.4控制規(guī)約
    12.6.5加工規(guī)約
    12.7數(shù)據(jù)字典
    12.8其他傳統(tǒng)分析方法概述
    12.8.1數(shù)據(jù)結(jié)構(gòu)化系統(tǒng)開發(fā)
    12.8.2Jackson系統(tǒng)開發(fā)
    12.8.3SADT
    12.9小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第13章 設(shè)計(jì)概念和原則
    13.1軟件設(shè)計(jì)和軟件工程
    13.2設(shè)計(jì)過程
    13.2.1設(shè)計(jì)和軟件質(zhì)量
    13.2.2軟件設(shè)計(jì)的演化
    13.3設(shè)計(jì)原則
    13.4設(shè)計(jì)概念
    13.4.1抽象
    13.4.2求精
    13.4.3模塊化
    13.4.4軟件體系結(jié)構(gòu)
    13.4.5控制層次
    13.4.6結(jié)構(gòu)劃分
    13.4.7數(shù)據(jù)結(jié)構(gòu)
    13.4.8軟件過程
    13.4.9信息隱蔽
    13.5有效的模塊設(shè)計(jì)
    13.5.1功能獨(dú)立性
    13.5.2內(nèi)聚
    13.5.3耦合
    13.6針對(duì)有效模塊化的設(shè)計(jì)啟發(fā)
    13.7設(shè)計(jì)模型
    13.8設(shè)計(jì)文檔
    13.9小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第14章 設(shè)計(jì)方法
    14.1數(shù)據(jù)設(shè)計(jì)
    14.2體系結(jié)構(gòu)設(shè)計(jì)
    14.2.1貢獻(xiàn)者
    14.2.2應(yīng)用域
    14.3體系結(jié)構(gòu)設(shè)計(jì)過程
    14.3.1變換流
    14.3.2事務(wù)流
    14.4 變換映射
    14.4.1一個(gè)實(shí)例
    14.4.2設(shè)計(jì)步驟
    14.5事務(wù)映射
    14.5.1一個(gè)實(shí)例
    14.5.2 設(shè)計(jì)步驟
    14.6 設(shè)計(jì)的后處理
    14.7體系結(jié)構(gòu)設(shè)計(jì)優(yōu)化
    14.8接口設(shè)計(jì)
    14.8.1內(nèi)部和外部接口設(shè)計(jì)
    14.8.2用戶界面設(shè)計(jì)
    14.9人機(jī)界面設(shè)計(jì)
    14.9.1界面設(shè)計(jì)模型
    14.9.2任務(wù)分析和建模
    14.9.3設(shè)計(jì)問題
    14.9.4實(shí)現(xiàn)工具
    14.9.5設(shè)計(jì)評(píng)估
    14.10界面設(shè)計(jì)指南
    14.10.1一般交互
    14.10.2信息顯示
    14.10.3數(shù)據(jù)輸入
    14.11過程設(shè)計(jì)
    14.11.1結(jié)構(gòu)化程序設(shè)計(jì)
    14.11.2圖形設(shè)計(jì)符號(hào)
    14.11.3表格設(shè)計(jì)符號(hào)
    14.11.4程序設(shè)計(jì)語言
    14.11.5一個(gè)PDL實(shí)例
    14.12小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第15章 實(shí)時(shí)系統(tǒng)的設(shè)計(jì)
    15.1系統(tǒng)考慮
    15.2實(shí)時(shí)系統(tǒng)
    15.2.1集成和性能問題
    15.2.2中斷處理
    15.2.3實(shí)時(shí)數(shù)據(jù)庫
    15.2.4實(shí)時(shí)操作系統(tǒng)
    15.2.5實(shí)時(shí)語言
    15.2.6任務(wù)同步和通信
    15.3實(shí)時(shí)系統(tǒng)的分析和仿真
    15.3.1實(shí)時(shí)系統(tǒng)分析的數(shù)學(xué)工具
    15.3.2仿真和建模技術(shù)
    15.4實(shí)時(shí)設(shè)計(jì)
    15.5小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第16章 軟件測試技術(shù)
    16.1軟件測試基礎(chǔ)
    16.1.1測試目標(biāo)
    16.1.2測試原則
    16.1.3可測試性
    16.2測試用例設(shè)計(jì)
    16.3白盒測試
    16.4基本路徑測試
    16.4.1流圖符號(hào)
    16.4.2環(huán)形復(fù)雜性
    16.4.3導(dǎo)出測試用例
    16.4.4圖矩陣
    16.5控制結(jié)構(gòu)測試
    16.5.1條件測試
    16.5.2數(shù)據(jù)流測試
    16.5.3循環(huán)測試
    16.6黑盒測試
    16.6.1基于圖的測試方法
    16.6.2等價(jià)劃分
    16.6.3邊界值分析
    16.6.4比較測試
    16.7針對(duì)專門環(huán)境和應(yīng)用的測試
    16.7.1GUI測試
    16.7.2客戶/服務(wù)器體系結(jié)構(gòu)的測試
    16.7.3測試文檔和幫助設(shè)施
    16.7.4實(shí)時(shí)系統(tǒng)測試
    16.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第17章 軟件測試策略
    17.1軟件測試的策略途徑
    17.1.1驗(yàn)證和確認(rèn)
    17.1.2軟件測試的組織
    17.1.3一種軟件測試策略
    17.1.4測試完成的標(biāo)準(zhǔn)
    17.2策略問題
    17.3單元測試
    17.3.1單元測試考慮
    17.3.2單元測試規(guī)程
    17.4集成測試
    17.4.1自頂向下集成
    17.4.2自底向上集成
    17.4.3回歸測試
    17.4.4關(guān)于集成測試的討論
    17.4.5集成測試文檔
    17.5確認(rèn)測試
    17.5.1確認(rèn)測試的標(biāo)準(zhǔn)
    17.5.2配置復(fù)審
    17.5.3Alpha和Beta測試
    17.6系統(tǒng)測試
    17.6.1恢復(fù)測試
    17.6.2安全測試
    17.6.3壓力測試
    17.6.4性能測試
    17.7調(diào)試的技巧
    17.7.1調(diào)試過程
    17.7.2心理考慮
    17.7.3調(diào)試方法
    17.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第18章 軟件的技術(shù)度量
    18.1軟件質(zhì)量
    18.1.1McCall的質(zhì)量因素
    18.1.2FURPS
    18.1.3到量化視圖的變遷
    18.2軟件技術(shù)度量框架
    18.2.1技術(shù)度量的挑戰(zhàn)
    18.2.2測度原則
    18.2.3有效軟件度量的屬性
    18.3分析模型的度量
    18.3.1基于功能的度量
    18.3.2“撞擊值”度量
    18.3.3規(guī)約質(zhì)量的度量
    18.4設(shè)計(jì)模型的度量
    18.4.1高層設(shè)計(jì)度量
    18.4.2構(gòu)件級(jí)設(shè)計(jì)度量
    18.4.3界面設(shè)計(jì)度量
    18.5源代碼度量
    18.6對(duì)測試的度量
    18.7對(duì)維護(hù)的度量
    18.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
   第四部分 面向?qū)ο蟮能浖こ?br />     第19章 面向?qū)ο蟮母拍詈驮瓌t
    19.1面向?qū)ο蟮姆缎?br />     19.2面向?qū)ο蟾拍?br />     19.2.1類和對(duì)象
    19.2.2屬性
    19.2.3操作方法和服務(wù)
    19.2.4消息
    19.2.5封裝、繼承和多態(tài)
    19.3標(biāo)識(shí)對(duì)象模型的元素
    19.3.1標(biāo)識(shí)類和對(duì)象
    19.3.2表示屬性
    19.3.3定義操作
    19.3.4完成對(duì)象定義
    19.4面向?qū)ο筌浖?xiàng)目的管理
    19.4.1OO的公共過程框架
    19.4.2面向?qū)ο箜?xiàng)目的度量和估算
    19.4.3一種OO估算和進(jìn)度安排方法
    19.4.4面向?qū)ο箜?xiàng)目的跟蹤過程
    19.5小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第20章 面向?qū)ο蠓治?br />     20.1面向?qū)ο蟮姆治?br />     20.1.1傳統(tǒng)方法和OO方法
    20.1.2OOA概述
    20.2領(lǐng)域分析
    20.2.1復(fù)用和領(lǐng)域分析
    20.2.2 領(lǐng)域分析過程
    20.300分析模型的類屬成分
    20.4OOA過程
    20.4.1使用實(shí)例
    20.4.2類—責(zé)任—協(xié)作者建模
    20.4.3定義結(jié)構(gòu)和層次
    20.4.4定義主題和子系統(tǒng)
    20.5對(duì)象—關(guān)系模型
    20.6對(duì)象—行為模型
    20.6.1用使用實(shí)例標(biāo)識(shí)事件
    20.6.2狀態(tài)表示
    20.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第21章 面向?qū)ο笤O(shè)計(jì)
    21.1面向?qū)ο笙到y(tǒng)的設(shè)計(jì)
    21.1.1傳統(tǒng)方法和OO方法
    21.1.2設(shè)計(jì)問題
    21.1.3OOD概述
    21.2OO設(shè)計(jì)模型的類屬成分
    21.3系統(tǒng)設(shè)計(jì)過程
    21.3.1劃分分析模型
    21.3.2并發(fā)性和子系統(tǒng)分配
    21.3.3任務(wù)管理構(gòu)件
    21.3.4數(shù)據(jù)管理構(gòu)件
    21.3.5資源管理構(gòu)件
    21.3.6人機(jī)界面構(gòu)件
    21.3.7子系統(tǒng)間通信
    21.4對(duì)象設(shè)計(jì)過程
    21.4.1對(duì)象描述
    21.4.2設(shè)計(jì)算法和數(shù)據(jù)結(jié)構(gòu)
    21.4.3程序構(gòu)件和接口
    21.5設(shè)計(jì)模式
    21.5.1描述設(shè)計(jì)模式
    21.5.2 在設(shè)計(jì)中使用設(shè)計(jì)模式
    21.6面向?qū)ο缶幊?br />     21.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第22章 面向?qū)ο鬁y試
    22.1擴(kuò)大測試的視角
    22.2測試OOA和OOD模型
    22.2.1OOA和OOD模型的正確性
    22.2.2OOA和OOD模型的一致性
    22.3面向?qū)ο蟮臏y試策略
    22.3.1在OO語境中的單元測試
    22.3.2在OO語境中的集成測試
    22.3.3在OO語境中的有效性測試
    22.4OO軟件的測試用例設(shè)計(jì)
    22.4.1OO概念的測試用例設(shè)計(jì)的含義
    22.4.2傳統(tǒng)測試用例設(shè)計(jì)方法的可用性
    22.4.3基于故障的測試
    22.4.4OO編程對(duì)測試的影響
    22.4.5測試用例和類層次
    22.4.6基于場景的測試設(shè)計(jì)
    22.4.7測試表層結(jié)構(gòu)和深層結(jié)構(gòu)
    22.5在類級(jí)別上可用的測試方法
    22.5.1對(duì)OO類的隨機(jī)測試
    22.5.2在類級(jí)別上的劃分測試
    22.6類間測試用例設(shè)計(jì)
    22.6.1多個(gè)類測試
    22.6.2從行為模型導(dǎo)出的測試
    22.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第23章 面向?qū)ο笙到y(tǒng)的技術(shù)度量
    23.1面向?qū)ο蠖攘康哪康?br />     23.2區(qū)別性的特征
    23.2.1局部化
    23.2.2封裝
    23.2.3信息隱蔽
    23.2.4繼承
    23.2.5抽象
    23.3對(duì)OO設(shè)計(jì)模型的度量
    23.4面向類的度量
    23.4.1CK度量套件
    23.4.2Lorenz和Kidd建議的度量
    23.5面向操作的度量
    23.6對(duì)面向?qū)ο鬁y試的度量
    23.7對(duì)面向?qū)ο箜?xiàng)目的度量
    23.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
   第五部分 軟件工程高級(jí)課題
    第24章 形式化方法
    24.1基本概念
    24.1.1少量的形式化方法的不足
    24.1.2軟件開發(fā)中的數(shù)學(xué)
    24.1.3形式化方法概念
    24.2數(shù)學(xué)預(yù)備知識(shí)
    24.2.1集合和構(gòu)造性規(guī)約
    24.2.2集合運(yùn)算符
    24.2.3邏輯運(yùn)算符
    24.2.4序列
    24.3應(yīng)用數(shù)學(xué)符號(hào)描述形式規(guī)約
    24.4形式化規(guī)約語言
    24.5用Z表示一個(gè)軟件構(gòu)件的例子
    24.6形式化方法的十條戒律
    24.7形式化方法——未來之路
    24.8小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第25章 凈室軟件工程
    25.1凈室方法
    25.1.1凈室策略
    25.1.2什么使得凈室獨(dú)特？
    25.2功能規(guī)約
    25.2.1黑盒規(guī)約
    25.2.2狀態(tài)盒規(guī)約
    25.2.3清晰盒規(guī)約
    25.3設(shè)計(jì)求精和驗(yàn)證的優(yōu)點(diǎn)
    25.3.1設(shè)計(jì)求精和驗(yàn)證
    25.3.2設(shè)計(jì)驗(yàn)證的優(yōu)點(diǎn)
    25.4凈室測試
    25.4.1統(tǒng)計(jì)的使用測試
    25.4.2認(rèn)證
    25.5小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第26章 軟件復(fù)用
    26.1管理問題
    26.1.1復(fù)用的障礙
    26.1.2硬件類比
    26.1.3建立復(fù)用途徑的一些建議
    26.2復(fù)用過程
    26.2.1可復(fù)用的軟件制品
    26.2.2一個(gè)過程模型
    26.3領(lǐng)域工程
    26.3.1領(lǐng)域分析過程
    26.3.2領(lǐng)域特征
    26.3.3結(jié)構(gòu)建模和結(jié)構(gòu)點(diǎn)
    26.4建造可復(fù)用構(gòu)件
    26.4.1為了復(fù)用的分析和設(shè)計(jì)
    26.4.2構(gòu)造方法
    26.4.3基于構(gòu)件的開發(fā)
    26.5分類和檢索構(gòu)件
    26.5.1描述可復(fù)用構(gòu)件
    26.5.2復(fù)用環(huán)境
    26.6軟件復(fù)用經(jīng)濟(jì)學(xué)
    26.6.1對(duì)質(zhì)量、生產(chǎn)率和成本的影響
    26.6.2使用結(jié)構(gòu)點(diǎn)的成本分析
    26.6.3復(fù)用度量
    26.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第27章 再工程
    27.1業(yè)務(wù)過程再工程
    27.1.1業(yè)務(wù)過程
    27.1.2業(yè)務(wù)過程再工程的原則
    27.1.3BPR模型
    27.1.4幾句警告
    27.2軟件再工程
    27.2.1軟件維護(hù)
    27.2.2軟件再工程過程模型
    27.3逆向工程
    27.3.1理解處理的逆向工程
    27.3.2理解數(shù)據(jù)的逆向工程
    27.3.3用戶界面的逆向工程
    27.4重構(gòu)
    27.4.1代碼重構(gòu)
    27.4.2數(shù)據(jù)重構(gòu)
    27.5正向工程
    27.5.1向客戶/服務(wù)器體系結(jié)構(gòu)的正向工程
    27.5.2向面向?qū)ο篌w系結(jié)構(gòu)的正向工程
    27.5.3用戶界面的正向工程
    27.6再工程經(jīng)濟(jì)學(xué)
    27.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第28章 客戶/服務(wù)器軟件工程
    28.1客戶/服務(wù)器系統(tǒng)的結(jié)構(gòu)
    28.1.1C/S系統(tǒng)的軟件構(gòu)件
    28.1.2軟件構(gòu)件的分布
    28.1.3分布應(yīng)用構(gòu)件的指南
    28.1.4連接C/S軟件構(gòu)件
    28.1.5中間件和對(duì)象請(qǐng)求代理體系結(jié)構(gòu)
    28.2對(duì)C/S系統(tǒng)的軟件工程
    28.3分析建模問題
    28.4對(duì)C/S系統(tǒng)的設(shè)計(jì)
    28.4.1傳統(tǒng)設(shè)計(jì)方法
    28.4.2數(shù)據(jù)庫設(shè)計(jì)
    28.4.3某設(shè)計(jì)方法的概述
    28.4.4加工設(shè)計(jì)的迭代
    28.5測試問題
    28.5.1整體C/S測試策略
    28.5.2C/S測試策略
    28.6小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第29章 計(jì)算機(jī)輔助軟件工程
    29.1什么是CASE？
    29.2構(gòu)造CASE的積木塊
    29.3CASE工具分類
    29.4集成化CASE環(huán)境
    29.5集成體系結(jié)構(gòu)
    29.6CASE中心庫
    29.6.1在I－CASE中中心庫的角色
    29.6.2特征和內(nèi)容
    29.7小結(jié)
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源
    第30章 未來之路
    30.1軟件的重要性——再論
    30.2變化的范圍
    30.3人及他們建造系統(tǒng)的方式
    30.4“新”的軟件過程
    30.5表示信息的新模式
    30.6技術(shù)作為推動(dòng)力
    30.7結(jié)束語
    參考文獻(xiàn)
    思考題
    推薦閱讀文獻(xiàn)及其他信息源