本书分上、中、下三册，每册独立成篇，上册为管理技术篇，中册为基本方法篇，下册为新技术篇。中册集中介绍了软件开发过程中最重要的两个阶段（需求分析阶段和设计阶段）中的主要软件工程方法，并讨论了各种不同类型方法的来历、特点、优缺点、目前的发展、应用状况和一些实例。读者可以从不同方法中了解软件工程方法的发展历程，从而灵活地选用适合特定要求的方法，甚至必要时能创造性地发展自己独特的软件工程方法。

前言

第五章 需求工程

第六章 需求分析的结构化技术

第七章 有关控制的需求分析技术

第八章 需求分析的形式化方法

第九章 软件体系结构研究的意义与现状

第十章 基本的软件体系结构风格

第十一章 软件的结构化设计方法

第十二章 Jackson软件开发方法和Parnas方法

第十三章 文件和数据库的设计

第十四章 面向对象开发方法

第十五章 基于使用实例的综合面向对象软件开发方法

第十六章 实时系统的设计问题

利用代数公理来对抽象数据类型进行规格说明将涉及操作句法的定义和各操作间的公理化关系的指定。句法的定义指定了名称、作用域、可以在数据对象上执行的操作的范围以及指定各操作间相互关系的公理。