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

出版者的話
專家指導(dǎo)委員會
譯者序
前言
作者簡介
本書使用說明
第一部分 產(chǎn)品和過程
第1章 產(chǎn)品 
1.1 軟件角色的演化 
1.2 軟件 
1.2.1 軟件特征 
1.2.2 軟件應(yīng)用 
1.3 軟件：地平線上的危機(jī) 
1.4 軟件神話 
1.5 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第2章 過程 
2.1 軟件工程：一種層次化技術(shù) 
2.1.1 過程、方法和工具 
2.1.2 軟件工程的一般視圖 
2.2 軟件過程 
2.3 軟件過程模型 
2.4 線性順序模型 
2.5 原型實(shí)現(xiàn)模型 
2.6 RAD模型 
2.7 演化軟件過程模型 
2.7.1 增量模型 
2.7.2 螺旋模型 
2.7.3 WINWIN螺旋模型 
2.7.4 并發(fā)開發(fā)模型 
2.8 基于構(gòu)件的開發(fā) 
2.9 形式化方法模型 
2.10 第四代技術(shù) 
2.11 過程技術(shù) 
2.12 產(chǎn)品和過程 
2.13 小結(jié) 
參考文獻(xiàn)
習(xí)題與思考題 
推薦讀物及其他信息源 
第二部分 管理軟件項(xiàng)目
第3章 項(xiàng)目管理的概念 
3.1 管理的譜系 
3.1.1 人員 
3.1.2 產(chǎn)品 
3.1.3 過程 
3.1.4 項(xiàng)目 
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 產(chǎn)品 
3.3.1 軟件范圍 
3.3.2 問題分解 
3.4 過程 
3.4.1 合并產(chǎn)品和過程 
3.4.2 過程分解 
3.5 項(xiàng)目 
3.6 W5HH原則 
3.7 關(guān)鍵實(shí)踐 
3.8 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第4章 軟件過程和項(xiàng)目度量 
4.1 測量、度量和指標(biāo) 
4.2 過程和項(xiàng)目領(lǐng)域中的度量 
4.2.1 過程度量和軟件過程改善 
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.6.1 支持軟件度量的論點(diǎn)
4.6.2 建立基線
4.6.3 度量收集、計(jì)算和評估
4.7 管理變化：統(tǒng)計(jì)過程控制 
4.8 小型組織的度量 
4.9 建立軟件度量計(jì)劃 
4.10 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第5章 軟件項(xiàng)目計(jì)劃 
5.1 對估算的觀察 
5.2 項(xiàng)目計(jì)劃目標(biāo)
5.3 軟件范圍
5.3.1 獲取定義軟件范圍所需的信息
5.3.2 可行性
5.3.3 一個范圍定義的例子
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 一個基于LOC估算的例子 
5.6.4 一個基于FP估算的例子
5.6.5 基于過程的估算
5.6.6 一個基于過程估算的例子
5.7 經(jīng)驗(yàn)估算模型
5.7.1 估算模型的結(jié)構(gòu)
5.7.2 COCOMO模型
5.7.3 軟件方程式
5.8 自行開發(fā)或購買的決策
5.8.1 創(chuàng)建決策樹
5.8.2 外包 
5.9 自動估算工具 
5.10 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第6章 風(fēng)險分析和管理 
6.1 被動和主動的風(fēng)險策略 
6.2 軟件風(fēng)險 
6.3 風(fēng)險識別 
6.3.1 評估整體項(xiàng)目風(fēng)險 
6.3.2 風(fēng)險因素和驅(qū)動因子 
6.4 風(fēng)險預(yù)測 
6.4.1 建立風(fēng)險表 
6.4.2 評估風(fēng)險影響 
6.4.3 風(fēng)險評估 
6.5 風(fēng)險求精 
6.6 風(fēng)險緩解、監(jiān)控和管理 
6.7 安全性風(fēng)險和危險 
6.8 RMMM計(jì)劃 
6.9 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第7章 項(xiàng)目進(jìn)度安排及跟蹤 
7.1 基本概念 
7.1.1 關(guān)于“延遲”的評注 
7.1.2 基本原則 
7.2 人員與工作量之間的關(guān)系 
7.2.1 一個例子 
7.2.2 一個經(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 時間表 
7.7.2 跟蹤進(jìn)度 
7.8 獲得值分析 
7.9 錯誤跟蹤 
7.10 項(xiàng)目計(jì)劃 
7.11 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第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)動 
8.3 軟件質(zhì)量保證 
8.3.1 背景 
8.3.2 SQA活動 
8.4 軟件評審 
8.4.1 軟件缺陷對成本的影響 
8.4.2 缺陷的放大和消除 
8.5 正式技術(shù)評審 
8.5.1 評審會議 
8.5.2 評審報(bào)告和記錄保存 
8.5.3 評審指導(dǎo)原則 
8.6 SQA的形式化方法 
8.7 統(tǒng)計(jì)軟件質(zhì)量保證 
8.8 軟件可靠性 
8.8.1 可靠性和可用性的測量 
8.8.2 軟件安全性 
8.9 軟件的錯誤防范 
8.10 ISO 9000質(zhì)量標(biāo)準(zhǔn) 
8.10.1 質(zhì)量保證系統(tǒng)的ISO方法 
8.10.2 ISO 9001 標(biāo)準(zhǔn) 
8.11 SQA計(jì)劃 
8.12 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第9章 軟件配置管理 
9.1 軟件配置管理 
9.1.1 基線 
9.1.2 軟件配置項(xiàng) 
9.2 SCM過程 
9.3 軟件配置中對象的標(biāo)識 
9.4 版本控制 
9.5 變更控制 
9.6 配置審計(jì) 
9.7 狀態(tài)報(bào)告 
9.8 SCM標(biāo)準(zhǔn) 
9.9 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第三部分 傳統(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 系統(tǒng)仿真 
10.3 業(yè)務(wù)過程工程：概述 
10.4 產(chǎn)品工程：概述 
10.5 需求工程 
10.5.1 需求誘導(dǎo) 
10.5.2 需求分析和談判 
10.5.3 需求規(guī)約 
10.5.4 系統(tǒng)建模 
10.5.5 需求確認(rèn) 
10.5.6 需求管理 
10.6 系統(tǒng)建模 
10.7 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第11章 分析的概念和原則 
11.1 需求分析 
11.2 軟件的需求誘導(dǎo) 
11.2.1 過程的啟動 
11.2.2 便利的應(yīng)用規(guī)約技術(shù) 
11.2.3 質(zhì)量功能部署 
11.2.4 use-case 
11.3 分析原則 
11.3.1 信息域 
11.3.2 建模 
11.3.3 劃分 
11.3.4 要素視圖和實(shí)現(xiàn)視圖 
11.4 軟件原型實(shí)現(xiàn) 
11.4.1 選擇原型實(shí)現(xiàn)方法 
11.4.2 原型實(shí)現(xiàn)方法和工具 
11.5 規(guī)約 
11.5.1 規(guī)約原則 
11.5.2 表示 
11.5.3 軟件需求規(guī)約 
11.6 規(guī)約評審 
11.7 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第12章 分析建模 
12.1 簡史 
12.2 分析模型的元素 
12.3 數(shù)據(jù)建模 
12.3.1 數(shù)據(jù)對象、屬性和關(guān)系 
12.3.2 基數(shù)和形態(tài) 
12.3.3 實(shí)體－關(guān)系圖 
12.4 功能建模和信息流 
12.4.1 數(shù)據(jù)流圖 
12.4.2 針對實(shí)時系統(tǒng)的擴(kuò)展 
12.4.3 Ward和Mellor擴(kuò)展 
12.4.4 Hatley和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.9 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第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 針對有效模塊化的設(shè)計(jì)啟發(fā) 
13.7 設(shè)計(jì)模型 
13.8 設(shè)計(jì)文檔 
13.9 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第14章 體系結(jié)構(gòu)設(shè)計(jì) 
14.1 軟件體系結(jié)構(gòu) 
14.1.1 什么是體系結(jié)構(gòu) 
14.1.2 為什么體系結(jié)構(gòu)重要 
14.2 數(shù)據(jù)設(shè)計(jì) 
14.2.1 數(shù)據(jù)建模、數(shù)據(jù)結(jié)構(gòu)、數(shù)據(jù)庫和數(shù)據(jù)倉庫 
14.2.2 構(gòu)件級的數(shù)據(jù)設(shè)計(jì) 
14.3 體系結(jié)構(gòu)風(fēng)格 
14.3.1 風(fēng)格和模式的簡略分類 
14.3.2 組織和精化 
14.4 分析可選的體系結(jié)構(gòu)設(shè)計(jì) 
14.4.1 一種體系結(jié)構(gòu)權(quán)衡分析方法 
14.4.2 體系結(jié)構(gòu)設(shè)計(jì)的定量指導(dǎo) 
14.4.3 體系結(jié)構(gòu)復(fù)雜性 
14.5 映射需求到軟件體系結(jié)構(gòu) 
14.5.1 變換流 
14.5.2 事務(wù)流 
14.6 變換映射 
14.6.1 一個例子 
14.6.2 設(shè)計(jì)步驟 
14.7 事務(wù)映射 
14.7.1 一個例子 
14.7.2 設(shè)計(jì)步驟 
14.8 精化體系結(jié)構(gòu)設(shè)計(jì) 
14.9 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第15章 用戶界面設(shè)計(jì) 
15.1 黃金規(guī)則 
15.1.1 置用戶于控制之下 
15.1.2 減少用戶的記憶負(fù)擔(dān) 
15.1.3 保持界面一致 
15.2 用戶界面設(shè)計(jì) 
15.2.1 界面設(shè)計(jì)模型 
15.2.2 用戶界面設(shè)計(jì)過程 
15.3 任務(wù)分析和建模 
15.4 界面設(shè)計(jì)活動 
15.4.1 定義界面對象和動作 
15.4.2 設(shè)計(jì)問題 
15.5 實(shí)現(xiàn)工具 
15.6 設(shè)計(jì)評估 
15.7 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第16章 構(gòu)件級設(shè)計(jì) 
16.1 結(jié)構(gòu)化程序設(shè)計(jì) 
16.1.1 圖形設(shè)計(jì)符號 
16.1.2 表格設(shè)計(jì)符號 
16.1.3 程序設(shè)計(jì)語言 
16.1.4 一個PDL的例子 
16.2 設(shè)計(jì)符號的比較 
16.3 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第17章 軟件測試技術(shù) 
17.1 軟件測試基礎(chǔ) 
17.1.1 測試目標(biāo) 
17.1.2 測試原則 
17.1.3 可測試性 
17.2 測試案例設(shè)計(jì) 
17.3 白盒測試 
17.4 基本路徑測試 
17.4.1 流圖符號 
17.4.2 環(huán)復(fù)雜度 
17.4.3 導(dǎo)出測試案例 
17.4.4 圖矩陣 
17.5 控制結(jié)構(gòu)測試 
17.5.1 條件測試 
17.5.2 數(shù)據(jù)流測試 
17.5.3 循環(huán)測試 
17.6 黑盒測試 
17.6.1 基于圖的測試方法 
17.6.2 等價劃分 
17.6.3 邊界值分析 
17.6.4 比較測試 
17.6.5 正交數(shù)組測試 
17.7 針對專門的環(huán)境、體系結(jié)構(gòu)和應(yīng)用的測試 
17.7.1 測試GUI 
17.7.2 客戶/服務(wù)器體系結(jié)構(gòu)的測試 
17.7.3 測試文檔和幫助設(shè)施 
17.7.4 實(shí)時系統(tǒng)測試 
17.8 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第18章 軟件測試策略 
18.1 軟件測試的策略途徑 
18.1.1 驗(yàn)證和確認(rèn) 
18.1.2 軟件測試的組織 
18.1.3 一種軟件測試策略 
18.1.4 測試完成的標(biāo)準(zhǔn) 
18.2 策略問題 
18.3 單元測試 
18.3.1 單元測試考慮 
18.3.2 單元測試規(guī)程 
18.4 集成測試 
18.4.1 自頂向下集成 
18.4.2 自底向上集成 
18.4.3 回歸測試 
18.4.4 煙幕測試 
18.4.5 關(guān)于集成測試的討論 
18.4.6 集成測試文檔 
18.5 確認(rèn)測試 
18.5.1 確認(rèn)測試的標(biāo)準(zhǔn) 
18.5.2 配置評審 
18.5.3 a和b測試 
18.6 系統(tǒng)測試 
18.6.1 恢復(fù)測試 
18.6.2 安全測試 
18.6.3 應(yīng)力測試 
18.6.4 性能測試 
18.7 調(diào)試的藝術(shù) 
18.7.1 調(diào)試過程 
18.7.2 心理因素 
18.7.3 調(diào)試方法 
18.8 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第19章 軟件的技術(shù)度量 
19.1 軟件質(zhì)量 
19.1.1 McCall的質(zhì)量因素 
19.1.2 FURPS 
19.1.3 ISO 9126質(zhì)量因素 
19.1.4 到量化視圖的變遷 
19.2 軟件技術(shù)度量框架 
19.2.1 技術(shù)度量的挑戰(zhàn) 
19.2.2 測度原則 
19.2.3 有效軟件度量的屬性 
19.3 分析模型的度量 
19.3.1 基于功能的度量 
19.3.2 bang度量 
19.3.3 規(guī)約質(zhì)量的度量 
19.4 設(shè)計(jì)模型的度量 
19.4.1 體系結(jié)構(gòu)設(shè)計(jì)度量 
19.4.2 構(gòu)件級設(shè)計(jì)度量 
19.4.3 界面設(shè)計(jì)度量 
19.5 源代碼度量 
19.6 對測試的度量 
19.7 對維護(hù)的度量 
19.8 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第四部分 面向?qū)ο筌浖こ?br />第20章 面向?qū)ο蟮母拍詈驮?nbsp;
20.1 面向?qū)ο蠓缎?nbsp;
20.2 面向?qū)ο蟾拍?nbsp;
20.2.1 類和對象 
20.2.2 屬性 
20.2.3 操作、方法和服務(wù) 
20.2.4 消息 
20.2.5 封裝、繼承和多態(tài) 
20.3 標(biāo)識對象模型的元素 
20.3.1 標(biāo)識類和對象 
20.3.2 刻畫屬性 
20.3.3 定義操作 
20.3.4 完成對象定義 
20.4 面向?qū)ο筌浖?xiàng)目的管理 
20.4.1 OO的公共過程框架 
20.4.2 面向?qū)ο箜?xiàng)目度量和估算 
20.4.3 一種OO估算和進(jìn)度安排方法 
20.4.4 跟蹤面向?qū)ο箜?xiàng)目的進(jìn)展 
20.5 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第21章 面向?qū)ο蠓治?nbsp;
21.1 面向?qū)ο蠓治?nbsp;
21.1.1 傳統(tǒng)方法和OO方法 
21.1.2 OOA概述 
21.1.3 統(tǒng)一的OOA方法 
21.2 領(lǐng)域分析 
21.2.1 復(fù)用和領(lǐng)域分析 
21.2.2 領(lǐng)域分析過程 
21.3 OO分析模型的類屬成分 
21.4 OOA過程 
21.4.1 use-case 
21.4.2 類－責(zé)任－協(xié)作者建模 
21.4.3 定義結(jié)構(gòu)和層次 
21.4.4 定義主題和子系統(tǒng) 
21.5 對象－關(guān)系模型 
21.6 對象－行為模型 
21.6.1 通過use-case標(biāo)識事件 
21.6.2 狀態(tài)表示 
21.7 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第22章 面向?qū)ο笤O(shè)計(jì) 
22.1 面向?qū)ο笙到y(tǒng)的設(shè)計(jì) 
22.1.1 傳統(tǒng)方法和OO方法 
22.1.2 設(shè)計(jì)問題 
22.1.3 OOD概述 
22.1.4 統(tǒng)一的OOD方法 
22.2 系統(tǒng)設(shè)計(jì)過程 
22.2.1 劃分分析模型 
22.2.2 并發(fā)性和子系統(tǒng)分配 
22.2.3 任務(wù)管理構(gòu)件 
22.2.4 用戶界面構(gòu)件 
22.2.5 數(shù)據(jù)管理構(gòu)件 
22.2.6 資源管理構(gòu)件 
22.2.7 子系統(tǒng)間通信 
22.3 對象設(shè)計(jì)過程 
22.3.1 對象描述 
22.3.2 設(shè)計(jì)算法和數(shù)據(jù)結(jié)構(gòu) 
22.3.3 程序構(gòu)件和接口 
22.4 設(shè)計(jì)模式 
22.4.1 描述設(shè)計(jì)模式 
22.4.2 在設(shè)計(jì)中使用設(shè)計(jì)模式 
22.5 面向?qū)ο蟪绦蛟O(shè)計(jì) 
22.6 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第23章 面向?qū)ο鬁y試 
23.1 擴(kuò)大測試的視角 
23.2 測試OOA和OOD模型 
23.2.1 OOA和OOD模型的正確性 
23.2.2 OOA和OOD模型的一致性 
23.3 面向?qū)ο鬁y試策略 
23.3.1 OO語境中的單元測試 
23.3.2 OO語境中的集成測試 
23.3.3 OO語境中的確認(rèn)測試 
23.4 OO軟件的測試案例設(shè)計(jì) 
23.4.1 OO概念的測試案例設(shè)計(jì)的含義 
23.4.2 傳統(tǒng)測試案例設(shè)計(jì)方法的可用性 
23.4.3 基于故障的測試 
23.4.4 OO程序設(shè)計(jì)對測試的影響 
23.4.5 測試案例和類層次 
23.4.6 基于場景的測試設(shè)計(jì) 
23.4.7 測試表層結(jié)構(gòu)和深層結(jié)構(gòu) 
23.5 在類級別可用的測試方法 
23.5.1 對OO類的隨機(jī)測試 
23.5.2 在類級別的劃分測試 
23.6 類間測試案例設(shè)計(jì) 
23.6.1 多個類測試 
23.6.2 從行為模型導(dǎo)出的測試 
23.7 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第24章 面向?qū)ο笙到y(tǒng)的技術(shù)度量 
24.1 面向?qū)ο蠖攘康哪康?nbsp;
24.2 面向?qū)ο蠖攘康淖R別特征 
24.2.1 局部化 
24.2.2 封裝 
24.2.3 信息隱蔽 
24.2.4 繼承 
24.2.5 抽象 
24.3 對OO設(shè)計(jì)模型的度量 
24.4 面向類的度量 
24.4.1 CK度量套件 
24.4.2 Lorenz和Kidd建議的度量 
24.4.3 MOOD度量套件 
24.5 面向操作的度量 
24.6 對面向?qū)ο鬁y試的度量 
24.7 對面向?qū)ο箜?xiàng)目的度量 
24.8 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第五部分 軟件工程高級課題
第25章 形式化方法 
25.1 基本概念 
25.1.1 欠形式化方法的不足 
25.1.2 軟件開發(fā)中的數(shù)學(xué)
25.1.3 形式化方法概念 
25.2 數(shù)學(xué)預(yù)備知識 
25.2.1 集合和構(gòu)造性規(guī)約 
25.2.2 集合運(yùn)算符 
25.2.3 邏輯運(yùn)算符 
25.2.4 序列 
25.3 應(yīng)用數(shù)學(xué)符號描述形式規(guī)約 
25.4 形式規(guī)約語言 
25.5 用Z表示一個軟件構(gòu)件的例子 
25.6 形式化方法的十條戒律 
25.7 形式化方法—未來之路 
25.8 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第26章 凈室軟件工程 
26.1 凈室方法 
26.1.1 凈室策略 
26.1.2 什么使得凈室獨(dú)特 
26.2 功能規(guī)約 
26.2.1 黑盒規(guī)約 
26.2.2 狀態(tài)盒規(guī)約 
26.2.3 清晰盒規(guī)約 
26.3 凈室設(shè)計(jì) 
26.3.1 設(shè)計(jì)求精和驗(yàn)證 
26.3.2 設(shè)計(jì)驗(yàn)證的優(yōu)點(diǎn) 
26.4 凈室測試 
26.4.1 統(tǒng)計(jì)使用測試 
26.4.2 認(rèn)證 
26.5 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第27章 基于構(gòu)件的軟件工程 
27.1 基于構(gòu)件的系統(tǒng)的開發(fā) 
27.2 CBSE過程 
27.3 領(lǐng)域工程 
27.3.1 領(lǐng)域分析過程 
27.3.2 特征化函數(shù)
27.3.3 結(jié)構(gòu)建模和結(jié)構(gòu)點(diǎn) 
27.4 基于構(gòu)件的開發(fā) 
27.4.1 構(gòu)件鑒定、適應(yīng)性修改和組裝 
27.4.2 構(gòu)件工程 
27.4.3 為了復(fù)用的分析和設(shè)計(jì) 
27.5 分類和檢索構(gòu)件 
27.5.1 描述可復(fù)用構(gòu)件 
27.5.2 復(fù)用環(huán)境 
27.6 CBSE經(jīng)濟(jì)學(xué) 
27.6.1 對質(zhì)量、生產(chǎn)率和成本的影響 
27.6.2 使用結(jié)構(gòu)點(diǎn)的成本分析 
27.6.3 復(fù)用度量 
27.7 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第28章 客戶/服務(wù)器軟件工程 
28.1 客戶/服務(wù)器系統(tǒng)的結(jié)構(gòu) 
28.1.1 C/S系統(tǒng)的軟件構(gòu)件 
28.1.2 軟件構(gòu)件的分布 
28.1.3 分布應(yīng)用子系統(tǒng)的指導(dǎo)原則 
28.1.4 連接C/S軟件子系統(tǒng) 
28.1.5 中間件和對象請求代理體系結(jié)構(gòu) 
28.2 C/S系統(tǒng)的軟件工程 
28.3 分析建模問題 
28.4 C/S系統(tǒng)的設(shè)計(jì) 
28.4.1 客戶/服務(wù)器系統(tǒng)的體系結(jié)構(gòu)設(shè)計(jì) 
28.4.2 應(yīng)用軟件的傳統(tǒng)設(shè)計(jì)方法 
28.4.3 數(shù)據(jù)庫設(shè)計(jì) 
28.4.4 一種設(shè)計(jì)方法的概述 
28.4.5 加工設(shè)計(jì)的迭代 
28.5 測試問題 
28.5.1 整體C/S測試策略 
28.5.2 C/S測試策略 
28.6 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第29章 Web工程 
29.1 基于Web的應(yīng)用的屬性 
29.1.1 質(zhì)量屬性 
29.1.2 技術(shù) 
29.2 WebE過程 
29.3 WebE框架 
29.4 表示/分析基于Web的系統(tǒng) 
29.4.1 表示 
29.4.2 分析 
29.5 基于Web的應(yīng)用的設(shè)計(jì) 
29.5.1 體系結(jié)構(gòu)設(shè)計(jì) 
29.5.2 導(dǎo)航設(shè)計(jì) 
29.5.3 界面設(shè)計(jì) 
29.6 測試基于Web的應(yīng)用 
29.7 管理問題 
29.7.1 WebE隊(duì)伍 
29.7.2 項(xiàng)目管理 
29.7.3 針對WebE的SCM問題 
29.8 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第30章 再工程 
30.1 業(yè)務(wù)過程再工程 
30.1.1 業(yè)務(wù)過程 
30.1.2 業(yè)務(wù)過程再工程的原則 
30.1.3 BPR模型 
30.1.4 幾句警告 
30.2 軟件再工程 
30.2.1 軟件維護(hù) 
30.2.2 軟件再工程過程模型 
30.3 逆向工程 
30.3.1 理解處理的逆向工程 
30.3.2 理解數(shù)據(jù)的逆向工程 
30.3.3 用戶界面的逆向工程 
30.4 重構(gòu) 
30.4.1 代碼重構(gòu) 
30.4.2 數(shù)據(jù)重構(gòu) 
30.5 正向工程 
30.5.1 客戶/服務(wù)器體系結(jié)構(gòu)的正向工程 
30.5.2 面向?qū)ο篌w系結(jié)構(gòu)的正向工程 
30.5.3 用戶界面的正向工程 
30.6 再工程經(jīng)濟(jì)學(xué) 
30.7 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第31章 計(jì)算機(jī)輔助軟件工程 
31.1 什么是CASE 
31.2 CASE的構(gòu)造積木塊 
31.3 CASE工具分類 
31.4 集成CASE環(huán)境 
31.5 集成體系結(jié)構(gòu) 
31.6 CASE中心存儲庫 
31.6.1 在I-CASE中中心存儲庫的作用 
31.6.2 特征和內(nèi)容 
31.7 小結(jié) 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
第32章 未來之路 
32.1 重提軟件的重要性 
32.2 變化的范圍 
32.3 人以及他們建造系統(tǒng)的方式 
32.4 “新”的軟件工程過程 
32.5 表示信息的新模式 
32.6 技術(shù)作為推動力 
32.7 結(jié)束語 
參考文獻(xiàn) 
習(xí)題與思考題 
推薦讀物及其他信息源 
索引