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

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