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

第1章 概述
1.1 軟件
1.1.1 軟件的特性
1.1.2 軟件的發(fā)展
1.1.3 軟件危機(jī)
1.2 軟件工程
1.2.1 軟件工程的概念
1.2.2 軟件工程的三要素
1.2.3 軟件質(zhì)量的特性
1.2.4 軟件工程方法
1.2.5 計(jì)算機(jī)輔助軟件工程CASE
1.2.6 當(dāng)前面臨的宅要挑戰(zhàn)
1.3 軟件工程知識(shí)體系（SWEBOK）
1.3.1 SWEBOK項(xiàng)目介紹
1.3.2 SWEBOK的組成
1.3.3 軟件工程與其他相關(guān)學(xué)科的關(guān)系
1.4 軟件工程職業(yè)道德規(guī)范
1.4.1 IEEE／ACM職業(yè)道德準(zhǔn)則
1.4.2 軟件工程人員的職業(yè)道德建設(shè)
習(xí)題
第2章 軟件過(guò)程
2.1 軟件過(guò)程的概念
2.1.1 任務(wù)思維與過(guò)程思維
2.1.2 軟件過(guò)程的定義
2.1.3 軟件過(guò)程的基本活動(dòng)
2.1.4 軟件過(guò)程的制品
2.2 軟件過(guò)程模型
2.2.1 瀑布模型
2.2.2 快速原型模型
2.2.3 增量模型
2.2.4 螺旋模型
2.2.5 形式化方法模型
2.2.6 基于組件的開(kāi)發(fā)模型
2.3 案例：微軟公司的軟件開(kāi)發(fā)過(guò)程
2.3.1 微軟公司的開(kāi)發(fā)管理原則
2.3.2 微軟公司的軟件過(guò)程模型
2.3.3 遞進(jìn)式的軟件開(kāi)發(fā)策略
習(xí)題
第3章 軟件項(xiàng)目管理
3.1 軟件項(xiàng)目管理概述
3.1.1 軟件項(xiàng)目的特征
3.1.2 軟件項(xiàng)目管理的"4P"
3.1.3 軟件項(xiàng)目管理活動(dòng)
3.2 人員組織與管理
3.2.1 軟件項(xiàng)目組織
3.2.2 案例：微軟公司的軟件開(kāi)發(fā)組織
3.2.3 軟件團(tuán)隊(duì)的建設(shè)
3.3 項(xiàng)目溝通管理
3.3.1 項(xiàng)目溝通復(fù)雜性
3.3.2 項(xiàng)目溝通方式
3.3.3 項(xiàng)目溝通活動(dòng)
3.4 軟件項(xiàng)目規(guī)劃
3.4.1 軟件規(guī)模估算
3.4.2 軟件成本估算
3.4.3 軟件項(xiàng)目計(jì)劃
3.5 軟件風(fēng)險(xiǎn)管理
3.5.1 風(fēng)險(xiǎn)識(shí)別
3.5.2 風(fēng)險(xiǎn)分析
3.5.3 風(fēng)險(xiǎn)規(guī)劃
3.5.4 風(fēng)險(xiǎn)監(jiān)控
3.6 軟件配置管理
3.6.1 基本概念
3.6.2 配置管理活動(dòng)
3.6.3 配置管理工具
習(xí)題
第4章 需求工程
4.1 軟件需求
4.1.1 業(yè)務(wù)需求
4.1.2 用戶需求
4.1，3 功能需求和非功能需求
4.1.4 系統(tǒng)需求
4.2 需求工程過(guò)程
4.2.1 需求獲取
4.2.2 需求分析
4.2.3 需求規(guī)格說(shuō)明
4.2.4 需求驗(yàn)證
4.2.5 需求管理
4.3 需求獲取技術(shù)
4.3.1 面談
4.3.2 需求專題討論會(huì)
4.3.3 觀察用戶工作流程
4.3.4 原型化方法
4.3.5 基于用例的方法
4.4 案例：小型圖書資料管理系統(tǒng)..
4.4.1 確定參與者
4.4.2 確定場(chǎng)景
4.4.3 確定用例
4.4.4 編寫用例描述
習(xí)題
第5章 軟件工程中的形式化方法
5.1 形式化方法基本概念
5.1.1 形式規(guī)約（Formal Specification）
5.1，2 形式證明與驗(yàn)證（Formal Verification and Validation）
5.1.3 程序求精（Program Refinement）
5.2 時(shí)態(tài)邏輯
5.2.1 一階線性時(shí)態(tài)邏輯
5.2.2 計(jì)算樹(shù)邏輯
5.3 模型檢驗(yàn)
5.4 Z語(yǔ)言
5.4.1 概述
5.4.2 Z語(yǔ)言表示
5.4.3 Z語(yǔ)言實(shí)例
5.5 Petri網(wǎng)
5.5.1 基本定義
5.5.2 Petri網(wǎng)規(guī)格實(shí)例--信號(hào)燈
習(xí)題
第6章 面向?qū)ο蠡A(chǔ)
6.1 面向?qū)ο蠓椒ǜ攀?br /> 6.1.1 面向?qū)ο蠹夹g(shù)的發(fā)展歷史
6.1.2 面向?qū)ο蟮能浖こ谭椒?br /> 6.2 面向?qū)ο蠡靖拍?br /> 6.2.1 對(duì)象
6.2.2 類
6.2.1 封裝
6.2.4 繼承
6.2.5 消息
6.2.6 關(guān)聯(lián)
6.2.7 聚合
6.2.8 多態(tài)性
6.3 軟件建模概念
6.3.1 系統(tǒng)、模型和視圖
6.3.2 軟件建模的重要性
6.4 統(tǒng)一建模語(yǔ)言UML
6.4.1 UML的發(fā)展歷史
6.4.2 UML的概念模型
6.4 3 UML建模示例
6.4.4 UML應(yīng)用
6.5 常用的UML圖
6.5.1 用例圖
6.5.2 類圖
6.5.3 順序圖
6.5.4 狀態(tài)圖
習(xí)題
……
第7章 面向?qū)ο蠓治?br /> 第8章 面向?qū)ο笤O(shè)計(jì)
第9章 軟件實(shí)現(xiàn)
第10章 軟件測(cè)試
第11章 軟件演化
參考文獻(xiàn)