現代軟件工程（中 基本方法篇）

前言
第五章  需求工程
5.1  概述
5.2  需求工程的內容
5.3  快速原型方法
第六章  需求分析的結構化技術
6.1  結構化分析方法
6.2  結構化分析和設計技術SADT
6.3  其他具有結構化思想的需求分析方法
6.4  基于自動工具的方法
第七章  有關控制的需求分析技術
7.1  概述
7.2  有限狀態(tài)機
7.3  Petri網
7.4  應用Petri網進行系統(tǒng)分析的實例
第八章  需求分析的形式化方法
8.1  概述
8.2  幾種常見的規(guī)格說明方法
8.3  規(guī)格說明語言——VDM語言
8.4  規(guī)格說明語言——Z語言
8.5  LARCH語言
8.6  OBJ語言
8.7  GIST語言
第九章  軟件體系結構研究的意義與現狀
9.1  概述
9.2  軟件體系結構的工具——SAAM及應用
9.3  體系結構不匹配問題
9.4  軟件體系結構的形式化描述
9.5  一種可交換的體系結構描述語言——ACME
9.6  萊特標記法Wright notations
第十章  基本的軟件體系結構風格
10.1  體系結構風格architectural style
10.2  常見的軟件體系結構風格
10.3  體系結構類型的比較
第十一章  軟件的結構化設計方法
11.1  軟件設計的一些概念
11.2  結構化設計方法的基本概念
11.3  從數據流圖導出結構圖
第十二章  Jackson軟件開發(fā)方法和Parnas方法
12.1  JSP——Jackson程序設計方法
12.2  Jackson系統(tǒng)開發(fā)方法——JSD
12.3  Parnas方法的概念
第十三章  文件和數據庫的設計
13.1  數據分析的基本概念
13.2  IDEF1X模型的構造
13.3  建模方法
第十四章  面向對象開發(fā)方法
14.1  面向對象技術的基本概念
14.2  Wirfs-Brock的責任驅動的設計方法
14.3  對象模型技術
14.4  Booch方法
14.5  Coad與Yourdon方法
14.6  分級的面向對象設計HOOD
第十五章  基于使用實例的綜合面向對象軟件開發(fā)方法
15.1  使用實例use case的設計方法概述
15.2  分析階段
15.3  構造階段
15.4  實現與測試
15.5  統(tǒng)一建模語言UML
15.6  IBM的基于經驗的面向對象軟件開發(fā)方法
第十六章  實時系統(tǒng)的設計問題
16.1  概述
16.2  面向對象的實時系統(tǒng)設計方法——OCTOPUS
16.3  實例分析