軟件工程基礎(chǔ)（第2版 國外經(jīng)典教材）

第1章 軟件工程：預(yù)覽
 1.1 軟件工程在系統(tǒng)設(shè)計(jì)中的作用
 1.2 軟件工程簡史
 1.3 軟件工程師的作用
 1.4 軟件生存期
 1.5 軟件工程與計(jì)算機(jī)科學(xué)其他領(lǐng)域的關(guān)系
 1.6 軟件工程與其他學(xué)科的關(guān)系
 1.7 結(jié)束語
第2章 軟件：性質(zhì)和質(zhì)量
 2.1 軟件質(zhì)量分類
 2.2 質(zhì)量代表
 2.3 不同應(yīng)用領(lǐng)域的質(zhì)量需求
 2.4 質(zhì)量的度量
 2.5 結(jié)束語
第3章 軟件工程原則
 3.1 嚴(yán)格和形式化
 3.2 相關(guān)分離
 3.3 模塊化
 3.4 抽象
 3.5 變更預(yù)測
 3.6 概括性
 3.7 增量式
 3.8 兩個說明軟件工程原則的案例分析
 3.9 結(jié)束語
第4章 設(shè)計(jì)與軟件構(gòu)架
 4.1 軟件設(shè)計(jì)活動及其目標(biāo)
 4.2 模塊化技術(shù)
 4.3 異常處理
 4.4 設(shè)計(jì)案例分析
 4.5 并發(fā)軟件
 4.6 面向?qū)ο笤O(shè)計(jì)
 4.7 構(gòu)架和組件
 4.8 結(jié)束語 
第5章 規(guī)范
 5.1 規(guī)范的使用
 5.2 規(guī)范的質(zhì)量
 5.3 規(guī)范風(fēng)格分類
 5.4 規(guī)范的驗(yàn)證
 5.5 操作型規(guī)范
 5.6 描述型規(guī)劃
 5.7 規(guī)范構(gòu)建和使用實(shí)踐
 5.8 結(jié)束語
第6章 驗(yàn)證
 6.1 驗(yàn)證的目標(biāo)和需求
 6.2 驗(yàn)證方法
 6.3 測試
 6.4 分析
 6.5 符號執(zhí)行
 6.6 模型檢驗(yàn)
 6.7 驗(yàn)證技術(shù)小結(jié)
 6.8 調(diào)試
 6.9 其他軟件特性的驗(yàn)證
 6.1 結(jié)束語
第7章 軟件生產(chǎn)過程
 7.1 什么軟件過程模型
 7.2 為什么軟件過程模型是重要的
 7.3 軟件生產(chǎn)的主要活動
 7.4 軟件過程模型概述
 7.5 處理遺留軟件
 7.6 案例分析
 7.7 過程組織
 7.8 制品的組織：配置管理
 7.9 軟件標(biāo)準(zhǔn)
 7.1 結(jié)束語
第8章 軟件工程管理
 8.1 管理職能
 8.2 項(xiàng)目計(jì)劃
 8.3 項(xiàng)目控制
 8.4 組織
 8.5 風(fēng)險(xiǎn)管理
 8.6 能力成熟度模型
 8.7 結(jié)束語 
第9章 軟件工程工具和環(huán)境
 9.1 工具和歷史演進(jìn)
 9.2 軟件工具的比較因素
 9.3 代表性工具
 9.4 工具集成
 9.5 影響工具演進(jìn)的力量
 9.6 結(jié)束語 
第1章 后記
 1.1 軟件工程的將來
 1.2 職業(yè)道德和社會責(zé)任
 1.3 軟件工程的職業(yè)道德準(zhǔn)則
 1.4 結(jié)束語
附錄 案例分析
 案例分析A：律師事務(wù)所辦公自動化
 案例分析B：開發(fā)一個編譯器族
 案例分析C：增量或交付
 案例分析D：形式化方法在工業(yè)中的應(yīng)用
結(jié)束語