現(xiàn)代軟件工程（中 基本方法篇）

前言
第五章  需求工程
5.1  概述
5.2  需求工程的內(nèi)容
5.3  快速原型方法
第六章  需求分析的結構化技術
6.1  結構化分析方法
6.2  結構化分析和設計技術SADT
6.3  其他具有結構化思想的需求分析方法
6.4  基于自動工具的方法
第七章  有關控制的需求分析技術
7.1  概述
7.2  有限狀態(tài)機
7.3  Petri網(wǎng)
7.4  應用Petri網(wǎng)進行系統(tǒng)分析的實例
第八章  需求分析的形式化方法
8.1  概述
8.2  幾種常見的規(guī)格說明方法
8.3  規(guī)格說明語言——VDM語言
8.4  規(guī)格說明語言——Z語言
8.5  LARCH語言
8.6  OBJ語言
8.7  GIST語言
第九章  軟件體系結構研究的意義與現(xiàn)狀
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  從數(shù)據(jù)流圖導出結構圖
第十二章  Jackson軟件開發(fā)方法和Parnas方法
12.1  JSP——Jackson程序設計方法
12.2  Jackson系統(tǒng)開發(fā)方法——JSD
12.3  Parnas方法的概念
第十三章  文件和數(shù)據(jù)庫的設計
13.1  數(shù)據(jù)分析的基本概念
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  實現(xiàn)與測試
15.5  統(tǒng)一建模語言UML
15.6  IBM的基于經(jīng)驗的面向對象軟件開發(fā)方法
第十六章  實時系統(tǒng)的設計問題
16.1  概述
16.2  面向對象的實時系統(tǒng)設計方法——OCTOPUS
16.3  實例分析