前言
第五章 需求工程
5.1 概述
5.2 需求工程的内容
5.3 快速原型方法
第六章 需求分析的结构化技术
6.1 结构化分析方法
6.2 结构化分析和设计技术SADT
6.3 其他具有结构化思想的需求分析方法
6.4 基于自动工具的方法
第七章 有关控制的需求分析技术
7.1 概述
7.2 有限状态机
7.3 Petri网
7.4 应用Petri网进行系统分析的实例
第八章 需求分析的形式化方法
8.1 概述
8.2 几种常见的规格说明方法
8.3 规格说明语言——VDM语言
8.4 规格说明语言——Z语言
8.5 LARCH语言
8.6 OBJ语言
8.7 GIST语言
第九章 软件体系结构研究的意义与现状
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 从数据流图导出结构图
第十二章 Jackson软件开发方法和Parnas方法
12.1 JSP——Jackson程序设计方法
12.2 Jackson系统开发方法——JSD
12.3 Parnas方法的概念
第十三章 文件和数据库的设计
13.1 数据分析的基本概念
13.2 IDEF1X模型的构造
13.3 建模方法
第十四章 面向对象开发方法
14.1 面向对象技术的基本概念
14.2 Wirfs-Brock的责任驱动的设计方法
14.3 对象模型技术
14.4 Booch方法
14.5 Coad与Yourdon方法
14.6 分级的面向对象设计HOOD
第十五章 基于使用实例的综合面向对象软件开发方法
15.1 使用实例use case的设计方法概述
15.2 分析阶段
15.3 构造阶段
15.4 实现与测试
15.5 统一建模语言UML
15.6 IBM的基于经验的面向对象软件开发方法
第十六章 实时系统的设计问题
16.1 概述
16.2 面向对象的实时系统设计方法——OCTOPUS
16.3 实例分析