軟件工程：Java語(yǔ)言實(shí)現(xiàn)

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