前言
第五章 需求工程
5.1 概述
5.2 需求工程的内容
5.3 快速原型方法
第六章 需求分析的结构化技术
6.1 结构化分析方法
6.2 结构化分析和设计技术(SADT)
6.3 其他具有结构化思想的需求分析方法
6.4 基于自动工具的方法
第七章 软件的结构化设计方法
7.1 软件设计的一些概念
7.2 结构化设计方法的基本概念
7.3 从数据流图导出结构图
第八章 文件和数据库的设计
8.1 数据分析的基本概念
8.2 IDEF1X模型的构造
8.3 建模方法
第九章 Jackson软件开发方法和Parnas方法
9.1 JSD——Jackson程序设计方法
9.2 Jackson系统开发方法——JSD
9.3 Parnas方法的概念
第十章 有关控制的建模技术
10.1 概述
10.2 有限状态机
10.3 Petri网
10.4 应用Petri网进行系统分析的实例
第十一章 形式化方法
11.1 概述
11.2 ��种常见的规格说明方法
11.3 规格说明语言——VDM语言
11.4 规格说明语言——Z语言
第十二章 面向对象开发方法基础
12.1 面对对象技术的基本概念
12.2 Wirfs-Brock的责任驱动的设计方法
12.3 对象模型技术
12.4 Booch方法
12.5 Coad与Yourdon方法
12.6 分级的面向对象设计
12.7 改进结构——整理refactoring
第十三章 基本的软件体系结构风格
第十四章 面向对象开发方法
第十五章 实时系统的设计问题
15.1 概述
15.2 面向对象的实时系统设计方法——OCTOPUS
15.3 实例分析
专题D 软件工程的科学理论基础