第1章 概述
1.1 軟件
1.1.1 軟件的特性
1.1.2 軟件的發展
1.1.3 軟件危機
1.2 軟件工程
1.2.1 軟件工程的概念
1.2.2 軟件工程的三要素
1.2.3 軟件質量的特性
1.2.4 軟件工程方法
1.2.5 計算機輔助軟件工程CASE
1.2.6 當前麵臨的主要挑戰
1.3 軟件工程知識體係(SWEBOK)
1.3.1 SWEBOK項目介紹
1.3.2 SWEBOK的組成
1.3.3 軟件工程與其他相關學科的關係
1.4 軟件工程職業道德規範
1.4.1 IEEE/ACM職業道德準則
1.4.2 軟件工程人員的職業道德建設
習題
第2章 軟件過程
2.1 軟件過程的概念
2.1.1 任務思維與過程思維
2.1.2 軟件過程的定義
2.1.3 軟件過程的基本活動
2.1.4 軟件過程的製品
2.2 軟件過程模型
2.2.1 瀑布模型
2.2.2 快速原型模型
2.2.3 增量模型
2.2.4 螺鏇模型
2.2.5 形式化方法模型
2.2.6 基於組件的開發模型
2.3 案例:微軟公司的軟件開發過程
2.3.1 微軟公司的開發管理原則
2.3.2 微軟公司的軟件過程模型
2.3.3 遞進式的軟件開發策略
習題
第3章 軟件項目管理
3.1 軟件項目管理概述
3.1.1 軟件項目的特徵
3.1.2 軟件項目管理的“4P”
3.1.3 軟件項目管理活動
3.2 人員組織與管理
3.2.1 軟件項目組織
3.2.2 案例:微軟公司的軟件開發組織
3.2.3 軟件團隊的建設
3.3 項目溝通管理
3.3.1 項目溝通復雜性
3.3.2 項目溝通方式
3.3.3 項目溝通活動
3.4 軟件項目規劃
3.4.1 軟件規模估算
3.4.2 軟件成本估算
3.4.3 軟件項目計劃
3.5 軟件風險管理
3.5.1 風險識彆
3.5.2 風險分析
3.5.3 風險規劃
3.5.4 風險監控
3.6 軟件配置管理
3.6.1 基本概念
3.6.2 配置管理活動
3.6.3 配置管理工具
習題
第4章 需求工程
4.1 軟件需求
4.1.1 業務需求
4.1.2 用戶需求
4.1.3 功能需求和非功能需求
4.1.4 係統需求
4.2 需求工程過程
4.2.1 需求獲取
4.2.2 需求分析
4.2.3 需求規格說明
4.2.4 需求驗證
4.2.5 需求管理
4.3 需求獲取技術
4.3.1 麵談
4.3.2 需求專題討論會
4.3.3 觀察用戶工作流程
4.3.4 原型化方法
4.3.5 基於用例的方法
4.4 案例：小型圖書資料管理係統
4.4.1 確定參與者
4.4.2 確定場景
4.4.3 確定用例
4.4.4 編寫用例描述
習題
第5章 軟件工程中的形式化方法
5.1 形式化方法基本概念
5.1.1 形式規約(Formal Specification)
5.1.2 形式證明與驗證(Formal Verification and Validation)
5.1.3 程序求精(Program Refinement)
5.2 時態邏輯
5.2.1 一階綫性時態邏輯
5.2.2 計算樹邏輯
5.3 模型檢驗
5.4　Z語言
5.4.1 概述
5.4.2　Z語言錶示
5.4.3　Z語言實例
5.5 Petri網
5.5.1 基本定義
5.5.2 Petri網規格實例--信號燈
習題
第6章 麵嚮對象基礎
6.1 麵嚮對象方法概述
6.1.1 麵嚮對象技術的發展曆史
6.1.2 麵嚮對象的軟件工程方法
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.4 統一建模語言UML
6.4.1　UML的發展曆史
6.4.2　UML的概念模型
6.4.3　UML建模示例
6.4.4　UML應用
6.5 常用的UML圖
6.5.1 用例圖
6.5.2 類圖
6.5.3 順序圖
6.5.4 狀態圖
習題
第7章 麵嚮對象分析
第8章 麵嚮對象設計
第9章 軟件實現
第10章 軟件測試
第11章 軟件演化
參考文獻
· · · · · · (收起)