目 錄
譯者序
前言
第3版ClassicalandObject－Oriented Software Engineering序言
第一部分 軟件過程
第1章 軟件工程的範圍
1.1曆史方麵
1.2經濟方麵
1.3維護方麵
1.4規格說明和設計方麵
1.5群體編程方麵
1.6麵嚮對象的範型
1.7常用術語
本章迴顧
進一步閱讀
問題
第2章 軟件過程及問題
2.1客戶、開發人員和用戶
2.2需求階段
2.3規格說明階段
2.4計劃階段
2.5設計階段
2.6實現階段
2.7集成階段
2.8維護階段
2.9退役
2.10軟件産品中的問題：本質問題和非本質問題
2.10.1復雜性
2.10.2一緻性
2.10.3可變性
2.10.4不可見NTG
2.10.5沒有銀彈嗎
本章迴顧
進一步閱讀
問題
第3章 軟件生命周期模型
3.1邊做邊改模型
3.2瀑布模型
3.3快速原型模型
3.4增量模型
3.5螺鏇模型
3.6各種生命周期模型的比較
3.7能力成熟度模型
3.8ISO9000
本章迴顧
進一步閱讀
問題
第4章 逐步求精、CASE和其他商用工具
4.1逐步求精
4.2成本效益分析
4.3計算機輔助軟件工程CASE
4.4CASE的範圍
4.5軟件版本
4.5.1修訂版本
4.5.2變體版本
4.6配置控製
4.6.1産品維護期間的配置控製
4.6.2基綫版本
4.6.3産品開發期間的配置控製
4.7構造工具
4.8CASE技術提高瞭生産力
4.9軟件度量
本章迴顧
進一步閱讀
問題
第5章 測試原理
5.1質量問題
5.1.1軟件質量保證
5.1.2管理的獨立性
5.2基於非執行的測試
5.2.1走查
5.2.2走查的管理
5.2.3審查
5.2.4審查和走查的比較
5.2.5審查的尺度
5.3基於執行的測試
5.4需要測試些什麼
5.4.1實用性
5.4.2可靠性
5.4.3健壯性
5.4.4性能
5.4.5正確性
5.5 測試與正確性證明的比較
5.5.1正確性證明的舉例
5.5.2正確性證明的事例研究
5.5.3正確性證明和軟件工程
5.6由誰來執行基於執行的測試
5.7何時結束測試
本章迴顧
進一步閱讀
問題
第6章 對象
6.1什麼是模塊
6.2內聚性
6.2.1偶然內聚性
6.2.2邏輯內聚性
6.2.3暫時內聚性
6.2.4過程內聚性
6.2.5通信內聚性
6.2.6信息內聚性
6.2.7功能內聚性
6.2.8內聚性舉例
6.3耦閤
6.3.1內容耦閤
6.3.2共用耦閤
6.3.3控製耦閤
6.3.4特徵耦閤
6.3.5數據耦閤
6.3.6耦閤舉例
6.4數據封裝
6.4.1數據封裝和産品開發
6.4.2數據封裝和産品維護
6.5抽象數據類型
6.6信息隱藏
6.7對象的概念
6.8多態性和動態聯編
6.9對象的內聚性和耦閤
6.10重用
6.11重用實例研究
6.11.1Raytheon的導彈係統部
6.11.2東芝軟件工廠
6.11.3NASA軟件
6.11.4GTEDataServices
6.11.5HP公司
6.12重用和維護
6.13對象和生産率
本章迴顧
進一步閱讀
問題
第二部分 軟件過程的各個階段
第7章 需求階段
7.1需求分析技術
7.2快速原型
7.3人的因素
7.4作為一種規格說明技術的快速原型
7.5快速原型的重用
7.6快速原型的其他用途
7.7快速原型的管理意義
7.8有關快速原型的經驗
7.9聯閤式應用設計
7.10需求分析技術的比較
7.11需求階段的測試
7.12需求階段的CASE工具
7.13需求階段的度量
7.14MSG實例研究：需求階段
7.15MSG實例研究：快速原型
本章迴顧
進一步閱讀
問題
第8章 規格說明階段
8.1規格說明文檔
8.2非形式化規格說明
8.3結構化係統分析
8.4其他的半形式化技術
8.5實體關係模型
8.6有窮狀態機
8.7Petri網
8.8Z
8.8.1電梯問題：Z
8.8.2對Z的分析
8.9其他的形式化技術
8.10規格說明技術的比較
8.11規格說明階段的測試
8.12規格說明階段的CASE工具
8.13規格說明階段的度量
8.14MSG實例研究：結構化係統分析
本章迴顧
進一步閱讀
問題
第9章 麵嚮對象的分析階段
9.1麵嚮對象範型與結構化範型的比較
9.2麵嚮對象的分析
9.3電梯問題：麵嚮對象的分析
9.3.1類模型
9.3.2動態建模
9.3.3功能建模
9.4 麵嚮對象的生命周期模型
9.5麵嚮對象分析階段中的CASE工具
9.6MSG實例研究：麵嚮對象的分析
本章迴顧
進一步閱讀
問題
第10章 計劃階段
10.1項目開發周期和開發成本估計
10.1.1産品規模的度量
10.1.2成本估計技術
10.1.3中級COCOMO
10.1.4跟蹤開發周期和成本估計
10.2軟件項目管理計劃的組成部分
10.3軟件項目管理計劃的結構
10.4IEEE軟件項目管理計劃
10.5測試計劃
10.6麵嚮對象項目的規劃
10.7培訓需求
10.8文檔標準
10.9計劃階段的CASE工具
10.10計劃階段的測試
10.11MSG實例研究：計劃階段
本章迴顧
進一步閱讀
問題
第11章 設計階段
11.1設計和抽象
11.2麵嚮行為的設計
11.3數據流分析
11.3.1數據流分析的例子
11.3.2擴展
11.4事務分析
11.5麵嚮數據的設計
11.6Jackson係統開發
11.6.1JSD概述
11.6.2為什麼要在本章介紹Jackson係統開發
11.6.3電梯問題：Jackson係統開發
11.6.4JSD分析
11.7Jackson、Warnier和Orr的技術
11.8麵嚮對象的設計
11.9詳細設計
11.10麵嚮行為的設計、麵嚮數據的設計
和麵嚮對象的設計之比較
11.11與實時係統有關的睏難
11.12實時係統設計技術
11.13設計階段的測試
11.14設計階段的CASE工具
11.15設計階段的度量
11.16MSG實例研究：麵嚮對象的設計
本章迴顧
進一步閱讀
問題
第12章 實現階段
12.1編程語言的選擇
12.2第四代語言
12.3結構化程序設計
12.3.1結構化程序設計的曆史
12.3.2為什麼goto語句是有害的
12.4良好的編程習慣
12.5編碼標準
12.6程序員組的組織
12.7民主製程序員組方法
12.8典型的主席製程序員組方法
12.8.1NewYorkTimes項目
12.8.2典型的主席製程序員組方法的不切實際性
12.9超越主席製程序員組和民主製程序員組的方法
12.10可移植性
12.10.1硬件的不兼容性
12.10.2操作係統的不兼容性
12.10.3數值軟件的不兼容性
12.10.4編譯器的不兼容性
12.11為什麼要支持可移植性
12.12獲得可移植性的技術
12.12.1可移植的係統軟件
12.12.2可移植的應用軟件
12.12.3可移植的數據
12.13模塊重用
12.14模塊測試事例的選擇
12.14.1規格說明測試與代碼測試的比較
12.14.2規格說明測試的可行性
12.14.3代碼測試的可行性
12.15黑盒模塊測試技術
12.15.1等價測試和邊界值分析
12.15.2功能測試
12.16玻璃盒模塊測試技術
12.16.1結構化測試：語句、分支、路徑覆蓋
12.16.2復雜性度量
12.17代碼走查和審查
12.18模塊測試技術的比較
12.19Cleanroom
12.20測試對象
12.21模塊測試的管理方麵
12.22測試分布式軟件
12.23實時軟件的測試
12.24實現階段的CASE工具
12.25MSG實例研究：黑盒測試事例
本章迴顧
進一步閱讀
問題
第13章 實現和集成階段
13.1實現和集成
13.1.1自頂嚮下的實現和集成方法
13.1.2自底而上的實現和集成方法
13.1.3三明治式實現和集成方法
13.1.4麵嚮對象産品的實現和集成方法
13.1.5實現和集成階段的管理問題
13.2實現和集成階段的測試
13.3用戶圖形界麵的集成階段測試
13.4産品測試
13.5驗收測試
13.6實現和集成階段的CASE工具
13.7整個軟件過程的CASE工具
13.8基於編程語言的環境
13.9麵嚮結構的環境
13.10工具箱環境
13.11集成環境
13.11.1過程集成
13.11.2工具集成
13.11.3其他形式的集成
13.12商業應用的開發環境
13.13公用工具的基礎結構
13.14各類環境的比較
13.15實現和集成階段的度量
13.16MSG實例研究：實現和集成階段
本章迴顧
進一步閱讀
問題
第14章 維護階段
14.1為什麼維護是必須的
14.2維護人員需要什麼
14.3維護實例研究
14.4維護管理
14.4.1錯誤報告
14.4.2授權産品更改
14.4.3確保可維護性
14.4.4反復維護的問題
14.5麵嚮對象的軟件維護
14.6開發技能與維護技能之比較
14.7逆嚮工程
14.8維護階段的測試
14.9維護階段的CASE工具
14.10維護階段的度量
本章迴顧
進一步閱讀
問題
結束語――JAVA：軟件工程的實例研究
第三部分 附 錄
附錄A 藝術商人OsbertOglesby
附錄B 軟件工程資源
附錄C MSG實例研究：快速原型模型
附錄D MSG實例研究：結構化係統分析
附錄E MSG實例研究：軟件項目管理計劃
附錄F MSG實例研究：設計
附錄G MSG實例研究：黑箱測試用例
附錄H MSG實例研究：源代碼
參考文獻索引
· · · · · · (收起)