內(nèi)容簡介：

　　《軟件工程：理論、方法與實踐》為普通高等教育“十五”國家級規(guī)劃教材。由作者結(jié)合多年軟件開發(fā)實踐和近年講授軟件工程課程的教學(xué)經(jīng)驗編寫而成，強調(diào)理論與實踐的有機結(jié)合。全書共11章，第1章概括介紹軟件工程的歷史發(fā)展和基本原理，討論IEEE和ACM最新提出的軟件工程知識體系和軟件工程職業(yè)道德規(guī)范；第2章討論軟件過程的基本思想和活動，介紹常見的軟件過程模型和微軟開發(fā)過程的實際案例：第3章討論軟件工程的管理技術(shù)，主要涉及人員管理、溝通管理、項目規(guī)劃和風(fēng)險管理等內(nèi)容；第4章、第6章至第10章以面向?qū)ο蠹夹g(shù)為核心，全面、深入、系統(tǒng)地介紹軟件開發(fā)各個階段的任務(wù)、過程、方法和工具；第5章介紹軟件工程中的形式化方法，包括時序邏輯、Z語言、Petri網(wǎng)等；第11章介紹軟件進化的概念和方法，包括軟件進化的特性、軟件維護活動、逆向工程與再工程等內(nèi)容。

　　《軟件工程：理論、方法與實踐》全書注重內(nèi)容的新穎性、條理性、系統(tǒng)性和實用性，始終以大量的開發(fā)實例貫穿全書，可作為計算機專業(yè)有關(guān)高年級本科生和低年級研究生學(xué)習(xí)軟件工程課程的教材，也可供軟件從業(yè)人員參考使用。《軟件工程：理論、方法與實踐》配套的屯子教案可從高等教育出版社高等理工教學(xué)資源網(wǎng)下載。

目錄：

第1章 概述

1.1 軟件

1.1.1 軟件的特性

1.1.2 軟件的發(fā)展

1.1.3 軟件危機

1.2 軟件工程

1.2.1 軟件工程的概念

1.2.2 軟件工程的三要素

1.2.3 軟件質(zhì)量的特性

1.2.4 軟件工程方法

1.2.5 計算機輔助軟件工程CASE

1.2.6 當(dāng)前面臨的宅要挑戰(zhàn)

1.3 軟件工程知識體系（SWEBOK）

1.3.1 SWEBOK項目介紹

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章 軟件過程

2.1 軟件過程的概念

2.1.1 任務(wù)思維與過程思維

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ā)策略

習(xí)題

第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 軟件團隊的建設(shè)

3.3 項目溝通管理

3.3.1 項目溝通復(fù)雜性

3.3.2 項目溝通方式

3.3.3 項目溝通活動

3.4 軟件項目規(guī)劃

3.4.1 軟件規(guī)模估算

3.4.2 軟件成本估算

3.4.3 軟件項目計劃

3.5 軟件風(fēng)險管理

3.5.1 風(fēng)險識別

3.5.2 風(fēng)險分析

3.5.3 風(fēng)險規(guī)劃

3.5.4 風(fēng)險監(jiān)控

3.6 軟件配置管理

3.6.1 基本概念

3.6.2 配置管理活動

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 需求工程過程

4.2.1 需求獲取

4.2.2 需求分析

4.2.3 需求規(guī)格說明

4.2.4 需求驗證

4.2.5 需求管理

4.3 需求獲取技術(shù)

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 編寫用例描述

習(xí)題

第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網(wǎng)

5.5.1 基本定義

5.5.2 Petri網(wǎng)規(guī)格實例--信號燈

習(xí)題

第6章 面向?qū)ο蠡A(chǔ)

6.1 面向?qū)ο蠓椒ǜ攀?/p>

6.1.1 面向?qū)ο蠹夹g(shù)的發(fā)展歷史

6.1.2 面向?qū)ο蟮能浖こ谭椒?/p>

6.2 面向?qū)ο蠡靖拍?/p>

6.2.1 對象

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)一建模語言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ū)ο蠓治?/p>

第8章 面向?qū)ο笤O(shè)計

第9章 軟件實現(xiàn)

第10章 軟件測試

第11章 軟件演化

參考文獻