目录 1
前言 1
第一编 软件工程环境 1
第一章 软件工程环境综述 1
第一节 什么是软件工程环境 1
第二节 软件工程环境的类型、构成成分和特性 4
第三节 软件工程环境的发展前景 10
第一节 工具箱类型的软件环境 14
第二章 工具箱——一种常见及灵活的软件工程环境 14
第二节 UNIX程序设计环境 17
第三章 面向语言的整体化程序设计环境 41
第一节 整体化程序设计环境的特点 41
第二节 INTERLISP程序设计环境 43
第三节 Ada程序设计支撑环境——APSE 54
第四节 GANDALF系统 62
第四章 支持整个软件生存周期的软件工程环境 70
第一节 软件生存周期与方法论 70
第二节 C软件工程环境 74
第三节 SOFTING 78
第四节 ARGUS 82
第五节 PRISM 86
第五章 交互式软件工程环境 90
第一节 交互系统中用户工程原理 90
第二节 个人工作站一例：SMALLTALK-80 96
第三节 用户软件工程USE系统 102
第一节 引言 108
第六章 支持形式化方法的软件工程环境 108
第二节 以时态逻辑为基础的XYZ系统 109
第三节 支持VDM方法的工具系统 112
第七章 软件工程环境的数据库支持 119
第一节 软件信息库及它在软件工程中的地位 119
第二节 PSL及PSA 121
第三节 PMDB与其它 132
第四节 一个软件信息库SIB的设计 141
第一节 软件工程环境的重要发展方向——智能化 147
第八章 智能化软件工程环境 147
第二节 智能软件开发工具或环境的一些实例 151
第二编 软件工具 157
第九章 软件工具综述 157
第一节 软件工具的历史与现状 157
第二节 软件工具与软件设计方法论 162
第三节 软件工具的分类 166
第十章 编辑程序 176
第一节 编辑程序综述 176
第二节 编辑程序的构成及实现 180
第三节 结构编辑程序与语法制导编辑程序 198
第十一章 软件开发与图形工具 212
第一节 软件的图形表示 212
第二节 图形化软件工具的模型和组成 215
第三节 图形化软件工具的举例 220
第十二章 调试工具和测试工具 232
第一节 调试工具 232
第二节 测试工具 243
第三节 软件的质量保证 254
第十三章 软件维护与版本管理工具 258
第一节 软件的维护 258
第二节 软件维护工具 260
第三节 软件版本管理工具 266
第十四章 软件移植工具 277
第一节 软件的可移植性 277
第二节 中间语言抽象机 280
第三节 交叉编译及代码生成程序例子 285
第十五章 事务处理的软件工具 290
第一节 第四代语言及工具 290
第二节 电子表格软件和组合软件 297
第三节 应用程序生成器 305
第四节 操作环境 312
总参考书目 317
各章参考文献 317