计算机软件工程环境和软件工具PDF电子书下载

目录 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