第五章 需求工程 1
5.1 概述 1
5.2 需求工程的内容 7
5.3 快速原型方法 26
第六章 需求分析的结构化技术 37
6.1 结构化分析方法 37
6.2 结构化分析和设计技术（SADT） 65
6.3 其他具有结构化思想的需求分析方法 74
6.4 基于自动工具的方法 81
第七章 有关控制的需求分析技术 86
7.1 概述 86
7.2 有限状态机 87
7.3 Petri网 96
7.4 应用Petri网进行系统分析的实例 107
8.1 概述 120
第八章 需求分析的形式化方法 120
8.2 几种常见的规格说明方法 126
8.3 规格说明语言——VDM语言 136
8.4 规格说明语言—Z语言 144
8.5 LARCH语言 159
8.6 OBJ语言 166
8.7 GIST语言 171
第九章 软件体系结构研究的意义与现状 174
9.1 概述 174
9.2 软件体系结构的工具——SAAM及应用 186
9.3 体系结构不匹配问题 195
9.4 软件体系结构的形式化描述 198
9.5 一种可交换的体系结构描述语言——ACME 200
9.6 莱特标记法（Wright notations） 207
第十章 基本的软件体系结构风格 211
10.1 体系结构风格（architectural style） 211
10.2 常见的软件体系结构风格 214
10.3 体系结构类型的比较 231
第十一章 软件的结构化设计方法 250
11.1 软件设计的一些概念 250
11.2 结构化设计方法的基本概念 251
11.3 从数据流图导出结构图 265
第十二章 Jackson软件开发方法和Parnas方法 285
12.1 JSP——Jackson程序设计方法 285
12.2 Jackson系统开发方法——JSD 301
12.3 Parnas方法的概念 321
第十三章 文件和数据库的设计 323
13.1 数据分析的基本概念 323
13.2 IDEFIX模型的构造 329
13.3 建模方法 349
第十四章 面向对象开发方法 358
14.1 面向对象技术的基本概念 358
14.2 Wirfs Brock的责任驱动的设计方法 369
14.3 对象模型技术 378
14.4 Booch方法 386
14.5 Coad与Yourdon方法 390
14.6 分级的面向对象设计HOOD 394
第十五章 基于使用实例的综合面向对象软件开发方法 397
15.1 使用实例（use case）的设计方法概述 397
15.2 分析阶段 402
15.3 构造阶段 410
15.4 实现与测试 416
15.5 统一建模语言UML 417
15.6 IBM的基于经验的面向对象软件开发方法 428
第十六章 实时系统的设计问题 436
16.1 概述 436
16.2 面向对象的实时系统设计方法——OCTOPUS 443
16.3 实例分析 455