《计算机软件工程环境和软件工具》求取 ⇩

目录1

前言1

第一编 软件工程环境1

第一章 软件工程环境综述1

第一节 什么是软件工程环境1

第二节 软件工程环境的类型、构成成分和特性4

第三节 软件工程环境的发展前景10

第一节 工具箱类型的软件环境14

第二章 工具箱——一种常见及灵活的软件工程环境14

第二节 UNIX程序设计环境17

第三章 面向语言的整体化程序设计环境41

第一节 整体化程序设计环境的特点41

第二节 INTERLISP程序设计环境43

第三节 Ada程序设计支撑环境——APSE54

第四节 GANDALF系统62

第四章 支持整个软件生存周期的软件工程环境70

第一节 软件生存周期与方法论70

第二节 C软件工程环境74

　第三节 SOFTING78

第四节 ARGUS82

第五节 PRISM86

第五章 交互式软件工程环境90

第一节 交互系统中用户工程原理90

第二节 个人工作站一例：SMALLTALK-8096

第三节 用户软件工程USE系统102

第一节 引言108

第六章 支持形式化方法的软件工程环境108

第二节 以时态逻辑为基础的XYZ系统109

第三节 支持VDM方法的工具系统112

第七章 软件工程环境的数据库支持119

第一节 软件信息库及它在软件工程中的地位119

第二节 PSL及PSA121

第三节 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