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