第1章 Ada语言导引 1
1．1 Ada语言的工程化发展史 1
1．1．1 提出需求 1
1．1．2 制定规格 4
1．1．3 语言设计 5
1．1．4 测试与验证 6
1．1．5 Ada83出台 7
1．1．6 强制使用 8
1．1．7 维护与升级——Ada95的推出 9
1．1．8 强制政策的放弃 13
1．2 Ada组成结构 15
1．3 Ada语言特征 16
1．4 Ada软件开发工具与环境 19
1．5 Ada应用现状 19
第2章 Ada语言对软件工程的支持 21
2．1 软件工程活动对编程语言的需要 21
2．2 可靠性问题 22
2．2．1 抽象对可靠性的贡献 22
2．2．2 类型与强类型 23
2．2．3 信息隐藏 24
2．3 程序执行效率问题 26
2．2．4 封装 26
2．4 可维护性问题 28
2．4．1 看似冗余的代码 28
2．4．2 词法和语法 29
2．4．3 结构括号 29
2．4．4 程序单元结构相似性 30
2．4．5 程序单元体同规格说明的分离 30
2．5 大型软件的构造能力和程序设计效率问题 31
2．5．1 类属化(参数化) 31
2．5．2 类型扩展(继承) 32
2．5．3 单元扩展(层次库结构) 34
2．5．4 类型组装(聚合) 35
第3章 Ada小型软件的构造 37
3．1 Ada语言概述 37
3．1．1 系统与构成 37
3．1．2 词法元素 39
3．1．3 分隔符和定界符 39
3．1．4 注释与编用 40
3．1．5 标识符 40
3．1．6 保留字 41
3．1．7 数值与字符的字面量 42
3．1．8 数据与类型 43
3．1．9 语句与控制 44
3．1．10 单元与结构 45
3．2 Ada数据类型 47
3．2．1 标量类型 48
3．2．2 组合类型 50
3．2．3 访问类型 55
3．2．4 方法学类型 57
3．3 Ada控制结构 61
3．3．1 顺序控制结构 62
3．3．2 循环控制结构 62
3．3．3 选择控制结构 65
3．4 Ada程序单元 70
3．4．1 子程序 71
3．4．2 程序包 78
3．4．3 类属单元 83
第4章 Ada大型软件的构造 87
4．1 Ada程序结构 87
4．1．1 系统结构 89
4．1．2 部件(主题)结构 89
4．1．3 单元结构 90
4．2 程序包应用形式 91
4．2．1 程序包用于封装一组逻辑上相关的实体 92
4．2．2 程序包用于封装抽象数据类型 94
4．2．3 程序包用于封装抽象状态机 96
4．2．4 类型化状态机 98
4．3 名字空间的管理 100
4．3．1 作用域和可见性 101
4．3．2 非直接可见的成分命名 102
4．3．3 逻辑上重载命名 104
4．3．4 嵌套命名的掩蔽 105
4．3．5 冗长和冲突的实体换名 107
4．4 分别编译结构 109
4．4．1 单元的分离结构 110
4．4．2 库单元 112
4．4．3 子单元 113
4．4．4 编译顺序 116
4．5 层次单元结构 116
4．5．1 公有子库单元 118
4．5．2 私有子库单元 122
4．6 大型系统结构 124
4．6．1 自顶向下开发 125
4．6．2 由底向上开发 127
4．6．3 面向对象开发 128
4．6．4 基于软件体系结构的开发 129
第5章 Ada并发软件的构造 130
5．1 Ada任务的形式 131
5．2 任务间的通信与同步 134
5．2．1 会合机制 135
5．2．2 任务的专用语句 137
第6章 Ada83基于对象的软件构造 145
6．1 Ada83对象的多样化模型 145
6．2 对象的属性与操作 146
6．2．1 对象的状态属性 147
6．2．2 对象的特征操作 151
6．3 变量对象：抽象数据类型 154
6．3．1 操作对对象的显式作用 155
6．3．2 变量对象及其类 156
6．4 包对象：抽象状态机模型 156
6．4．1 操作对对象的隐式作用 158
6．4．2 包对象及其类 159
6．5 任务对象 161
6．6 小结 162
第7章 Ada95面向对象软件的构造 163
7．1 标志类型 163
7．2 全类类型 172
7．3 抽象类型与抽象子程序 174
7．4 类型扩展小结 177
7．5 保护对象机制 178
7．5．1 保护对象的定义 178
7．5．2 保护对象机制的分析与比较 182
7．6 对Ada95面向对象能力的看法 185
7．7 A-型对象 188
7．8 A-型对象的封装 192
第8章 Ada软件的图式设计方法 196
8．1 Ada图式设计原理和方法 196
8．2 程序树 197
8．3 图式设计的关键步骤 198
8．4 标识部件单元 200
8．5 程序树及其演化(扩展和收缩) 201
8．6 标识规格说明实体 203
8．7 标识结构联系 204
8．7．1 引入联系 205
8．7．2 单元扩展联系 206
8．7．3 类型扩展联系 207
8．7．4 类型组装联系 216
8．8 标识层次部件(主题) 219
9．1．1 标准工具环 223
9．1 引言 223
第9章 Ada软件开发工具与环境(一) 223
9．1，2 工具对语言特性的反映 226
9．1．3 工具与设计方法的结合 229
9．2 Ada程序设计支撑环境(APSE) 230
9．3 Ada软件工具现状与发展 232
9．3．1 非商品工具 233
9．3．2 商品类工具 235
9．4 开发环境 238
9．4．1 非商品类环境 238
9．4．2 商品类环境 239
9．5 绑定(联编)工具 244
第10章 Ada软件开发工具和环境(二) 248
10．1 引言 248
10．2 工程化的软件环境支撑 249
10．3 Ada软件开发环境 251
10．3．1 Ada-GOODS 251
10．3．2 SUNADADS 255
10．4 图式软件开发支持 262
10．4．1 Booch图 263
10．4．2 SUNADADS中的图元 263
10．4．3 系统组织和单元结构 265
10．4．4 规格说明的图式描述 266
10．5 相关的方法和工具研究 271
10．5．1 基于软件科学法的Ada程序复杂性度量工具 271
10．5．2 基于会合关系的Ada并发复杂性度量方法 274
10．5．3 基于结构化标记文法规则的代码理解工具 274
10．5．4 Ada与SQL的接口研究 275
10．5．5 Ada程序同C程序的集成技术 275
10．5．6 并发对象Ada95代码的自动生成工具 277
10．5．7 Ada与GUI的接口研究与VAGUID 277
10．5．8 用任务和保护对象实现(异步)服务模型 278
11．1 Ada与软件体系结构描述语言 283
第11章 基于Ada的软件体系结构描述 283
11．2 隐式调用 284
11．3 将隐式调用加入Ada 286
11．3．1 实现概述 286
11．3．2 评估 288
11．4 用Ada异常设施实现隐式调用的体系结构 289
11．4．1 面向对象的隐式调用模型 290
11．4．2 基于Ada语言的事件机制 294
11．4．3 基于Ada异常的隐式调用实现 297
11．4．4 结论 302
参考文献 303