Ada软件开发技术【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

Ada软件开发技术PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第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-GOODS251

10．3．2 SUNADADS255

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的接口研究与VAGUID277

10．5．8 用任务和保护对象实现(异步)服务模型278

11．1 Ada与软件体系结构描述语言283

第11章 基于Ada的软件体系结构描述283

11．2 隐式调用284

11．3 将隐式调用加入Ada286

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