軟件工程：理論、方法與實踐（十五國家級規(guī)劃）

第1章 概述
1.1 軟件
1.1.1 軟件的特性
1.1.2 軟件的發(fā)展
1.1.3 軟件危機
1.2 軟件工程
1.2.1 軟件工程的概念
1.2.2 軟件工程的三要素
1.2.3 軟件質量的特性
1.2.4 軟件工程方法
1.2.5 計算機輔助軟件工程CASE
1.2.6 當前面臨的宅要挑戰(zhàn)
1.3 軟件工程知識體系（SWEBOK）
1.3.1 SWEBOK項目介紹
1.3.2 SWEBOK的組成
1.3.3 軟件工程與其他相關學科的關系
1.4 軟件工程職業(yè)道德規(guī)范
1.4.1 IEEE／ACM職業(yè)道德準則
1.4.2 軟件工程人員的職業(yè)道德建設
習題
第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 基于組件的開發(fā)模型
2.3 案例：微軟公司的軟件開發(fā)過程
2.3.1 微軟公司的開發(fā)管理原則
2.3.2 微軟公司的軟件過程模型
2.3.3 遞進式的軟件開發(fā)策略
習題
第3章 軟件項目管理
3.1 軟件項目管理概述
3.1.1 軟件項目的特征
3.1.2 軟件項目管理的"4P"
3.1.3 軟件項目管理活動
3.2 人員組織與管理
3.2.1 軟件項目組織
3.2.2 案例：微軟公司的軟件開發(fā)組織
3.2.3 軟件團隊的建設
3.3 項目溝通管理
3.3.1 項目溝通復雜性
3.3.2 項目溝通方式
3.3.3 項目溝通活動
3.4 軟件項目規(guī)劃
3.4.1 軟件規(guī)模估算
3.4.2 軟件成本估算
3.4.3 軟件項目計劃
3.5 軟件風險管理
3.5.1 風險識別
3.5.2 風險分析
3.5.3 風險規(guī)劃
3.5.4 風險監(jiān)控
3.6 軟件配置管理
3.6.1 基本概念
3.6.2 配置管理活動
3.6.3 配置管理工具
習題
第4章 需求工程
4.1 軟件需求
4.1.1 業(yè)務需求
4.1.2 用戶需求
4.1，3 功能需求和非功能需求
4.1.4 系統(tǒng)需求
4.2 需求工程過程
4.2.1 需求獲取
4.2.2 需求分析
4.2.3 需求規(guī)格說明
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 案例：小型圖書資料管理系統(tǒng)..
4.4.1 確定參與者
4.4.2 確定場景
4.4.3 確定用例
4.4.4 編寫用例描述
習題
第5章 軟件工程中的形式化方法
5.1 形式化方法基本概念
5.1.1 形式規(guī)約（Formal Specification）
5.1，2 形式證明與驗證（Formal Verification and Validation）
5.1.3 程序求精（Program Refinement）
5.2 時態(tài)邏輯
5.2.1 一階線性時態(tài)邏輯
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網規(guī)格實例--信號燈
習題
第6章 面向對象基礎
6.1 面向對象方法概述
6.1.1 面向對象技術的發(fā)展歷史
6.1.2 面向對象的軟件工程方法
6.2 面向對象基本概念
6.2.1 對象
6.2.2 類
6.2.1 封裝
6.2.4 繼承
6.2.5 消息
6.2.6 關聯(lián)
6.2.7 聚合
6.2.8 多態(tài)性
6.3 軟件建模概念
6.3.1 系統(tǒng)、模型和視圖
6.3.2 軟件建模的重要性
6.4 統(tǒng)一建模語言UML
6.4.1 UML的發(fā)展歷史
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 狀態(tài)圖
習題
……
第7章 面向對象分析
第8章 面向對象設計
第9章 軟件實現
第10章 軟件測試
第11章 軟件演化
參考文獻