第五章 需求工程 1
5.1 概述 1
5.2 需求工程的内容 7
5.3 快速原型方法 27
第六章 需求分析的结构化技术 38
6.1 结构化分析方法 38
6.2 结构化分析和设计技术 65
6.3 其他具有结构化思想的需求分析方法 74
6.4 基于自动工具的方法 81
第七章 软件的结构化设计方法 86
7.1 软件设计的一些概念 86
7.2 结构化设计方法的基本概念 87
7.3 从数据流图导出结构图 101
第八章 文件和数据库的设计 121
8.1 数据分析的基本概念 121
8.2 IDEF1X模型的构造 127
8.3 建模方法 147
第九章 Jackson软件开发方法和Parnas方法 156
9.1 Jackson程序设计方法——JSP 156
9.2 Jackson系统开发方法——JSD 172
9.3 Parnas方法的概念 192
第十章 有关控制的建模技术 194
10.1 概述 194
10.2 有限状态机 195
10.3 Petri网 204
10.4 应用Petri网进行系统分析的实例 216
第十一章 形式化方法 229
11.1 概述 229
11.2 几种常见的规格说明方法 234
11.3 规格说明语言——VDM语言 245
11.4 规格说明语言——Z语言 252
第十二章 面向对象开发方法基础 268
12.1 面向对象技术的基本概念 268
12.2 Wirfs-Brock的责任驱动的设计方法 282
12.3 对象模型技术 290
12.4 Booch方法 298
12.5 Coad与Yourdon方法 302
12.6 分级的面向对象设计 307
12.7 改进结构——整理refactoring 308
第十三章 基于使用实例的综合面向对象软件开发方法 337
13.1 使用实例的设计方法概述 337
13.2 分析阶段 342
13.3 构造阶段 350
13.4 实现与测试 356
13.5 IBM的基于经验的面向对象软件开发方法 357
第十四章 统一建模语言 365
14.1 引言 365
14.2 UML建模 372
14.3 UML的应用过程 389
第十五章 实时系统的设计问题 393
15.1 概述 393
15.2 面向对象的实时系统设计方法——OCTOPUS 400
15.3 实例分析 412