軟件工程：技術(shù)、方法與環(huán)境

第一章 軟件工程概論
1. 1　軟件工程概念
1. 2　軟件工程框架
第二章　軟件開發(fā)模型
2. 1　瀑布模型
2. 2　演化模型
2. 3　螺旋模型
2. 4　噴泉模型
2. 5　增量模型
第三章　需求分析
3. 1　需求獲取
3. 1. 1　需求獲取的內(nèi)容
3. 1. 2　需求獲取應(yīng)遵循的原則
3. 1. 3　需求獲取采用的技術(shù)
3. 2　結(jié)構(gòu)化分析方法
3. 2. 1　模型表示
3. 2. 2　實(shí)施步驟
3. 3　需求驗(yàn)證
3. 4　需求分析文檔
3. 5　實(shí)例研究
第四章　總體設(shè)計(jì)
4. 1　總體設(shè)計(jì)的任務(wù)
4. 2　總體設(shè)計(jì)的表示形式
4. 2. 1　層次圖
4. 2. 2 HIPO圖
4. 2. 3　結(jié)構(gòu)圖
4. 3　總體設(shè)計(jì)的方法
4. 3. 1　數(shù)據(jù)流圖的類型
4. 3. 2　設(shè)計(jì)步驟
4. 4　好的設(shè)計(jì)的準(zhǔn)則
4. 5　啟發(fā)式規(guī)則
4. 6　設(shè)計(jì)優(yōu)化
4. 7　××××××系統(tǒng)軟件設(shè)計(jì)說明書
第五章　詳細(xì)設(shè)計(jì)
5. 1 結(jié)構(gòu)化程序設(shè)計(jì)
5. 2　詳細(xì)設(shè)計(jì)的工具
5. 2. 1 程序流程圖
5. 2. 2　企圖（N－S圖）
5. 2. 3 PAD圖
5. 2. 4　類程序設(shè)計(jì)語言（PDL）
第六章　面向?qū)ο蠓治?br />6. 1　面向?qū)ο蠹夹g(shù)概述
6. 1. 1　面向?qū)ο蠹夹g(shù)的歷史. 現(xiàn)狀和發(fā)展
6. 1. 2　一些基本概念
6. 1. 3　同結(jié)構(gòu)化方法的比較
6. 2　標(biāo)識(shí)類及對象
6. 2. 1　為什么要標(biāo)識(shí)類及對象
6. 2. 2　如何表示類及對象
6. 3　標(biāo)識(shí)結(jié)構(gòu)
6. 3. 1　為什么要標(biāo)識(shí)結(jié)構(gòu)
6. 3. 2　如何標(biāo)識(shí)一般／特殊結(jié)構(gòu)
6. 3. 3　如何標(biāo)識(shí)整體／部分結(jié)構(gòu)
6. 4　標(biāo)識(shí)主題
6. 4. 1　為什么要標(biāo)識(shí)主題
6. 4. 2　如何標(biāo)識(shí)主題
6. 5　定義屬性
6. 5. 1　為什么要定義屬性
6. 5. 2　如何定義屬性
6. 6　定義服務(wù)
6. 6. 1　為什么要定義服務(wù)
6. 6. 2　如何定義服務(wù)
6. 7　面向?qū)ο蠓治鑫臋n
6. 7. 1　文檔內(nèi)容
6. 7. 2　模型檢查
第七章　面向?qū)ο笤O(shè)計(jì)
7. 1　從 OOA到 OOD
7. 2　問題域部分的設(shè)計(jì)
7. 2. 1　為什么需要問題域部分的設(shè)計(jì)
7. 2. 2　如何進(jìn)行問題域部分的設(shè)計(jì)
7. 3　人機(jī)交互部分的設(shè)計(jì)
7. 3. 1　為什么需要人機(jī)交互部分
7. 3. 2　如何設(shè)計(jì)人機(jī)交互部分
7. 4　任務(wù)管理部分的設(shè)計(jì)
7. 4. 1　為什么需要有任務(wù)管理部分
7. 4. 2　怎樣設(shè)計(jì)任務(wù)管理部分
7. 5　數(shù)據(jù)管理部分的設(shè)計(jì)
7. 5. 1　為什么需要數(shù)據(jù)管理部分
7. 5. 2　如何設(shè)計(jì)數(shù)據(jù)管理部分
第八章　OSA方法簡介
8. 1　OSA的對象關(guān)系模型（ORM）
8. 1. 1　基本的模型化概念
8. 1. 2　特殊的關(guān)系集合
8. 1. 3　特殊對象類. 資格條件. 注釋
8. 1. 4　對象關(guān)系模型小結(jié)
8. 2　對象行為模型
8. 2. 1　基本概念及概念模型化
8. 2. 2　狀態(tài)網(wǎng)
8. 2. 3　對象行為模型小結(jié)
8. 3　對象交互模型
8. 3. 1　基本的對象交互
8. 3. 2　特殊類型交互的描述
8. 3. 3　交互的約束. 繼承
8. 3. 4　對象交互模型小結(jié)
第九章　軟件測試
9. 1　軟件測試目標(biāo)與軟件測試過程模型
9. 1. 1　軟件測試目標(biāo)
9. 1. 2　測試過程模型
9. 2　軟件測試技術(shù)
9. 2. 1　路徑測試技術(shù)
9. 2. 2　事務(wù)處理流程測試技術(shù)
9. 3　軟件測試步驟
9. 3. 1　單元測試
9. 3. 2　集成測試
9. 3. 3　有效性測試
9. 3. 4　軟件測試與程序正確性證明
9. 4　程序證明技術(shù)
第十章　軟件過程
10. 1　基本過程
10. 2　支持過程
10. 2. 1　文檔過程
10. 2. 2　配置管理過程
10. 2. 3　質(zhì)量保證過程
10. 2. 4　驗(yàn)證過程
10. 2. 5　確認(rèn)過程
10. 2. 6　聯(lián)合評審過程
10. 2. 7　審計(jì)過程
10. 2. 8　問題解決過程
10. 3　組織過程
10. 4　剪裁過程和過程模型建造技術(shù)
10. 4. 1　剪裁過程
10. 4. 2　過程建模技術(shù)簡介
第十一章　計(jì)算機(jī)輔助軟件工程CASE
11. 1　CASE綜述
11. 1. 1　什么是 CASE
11. 1. 2 CASE分類
11. 1. 3　集成化 CASE
11. 1. 4　CASE生命周期
11. 2 CASE工作臺(tái)
11. 2. 1　CASE工作臺(tái)概述
11. 2. 2　程序設(shè)計(jì)工作臺(tái)
11. 2. 3　分析和設(shè)計(jì)工作臺(tái)
11. 2. 4　測試工作臺(tái)
11. 2. 5　元－CASE工作臺(tái)
11. 3　軟件工程環(huán)境
11. 3. 1　軟件工程環(huán)境概述
11. 3. 2　集成環(huán)境
11. 3. 3　平臺(tái)服務(wù)
11. 3. 4　框架服務(wù)
11. 3. 5 PCTE
11. 4　大型軟件開發(fā)環(huán)境青鳥系統(tǒng)簡介
11. 4. 1　綜述
11. 4. 2 JB2系統(tǒng)介紹
參考文獻(xiàn)