ADA软件工程PDF电子书下载

第1篇 问题的域 1

第1章 绪论 1

目录 1

1.1问题的域 2

1.2Ada文化 3

1.3Ada对软件工程的影响 3

第2章 软件危机 3

2.1危机的性质 4

2.2危机的基本原因 5

2.3克服危机的办法 6

练习 6

第3章 Ada开发史 6

3.1分析阶段 7

3.2需求定义阶段 9

3.3设计阶段 10

3.5运行和维护阶段 12

3.4测试阶段 12

3.6小结 13

练习 13

第2篇 Ada导论 13

第4章 软件开发方法学 13

4.1软件工程的目标 16

4.2软件工程的原理 17

4.3软件开发技术 20

4.4软件开发工具 21

练习 23

第5章 面向对象的设计 23

5.1功能方法学的局限 24

5.2面向对象的设计方法学 25

5.3用Ada设计 27

练习 28

第6章 Ada语言概述 28

6.1对Ada语言的要求 29

6.2自顶向下陈述Ada 30

6.3由底向上分述Ada 32

6.4Ada语言特征小结 44

练习 44

第3篇 数据结构 44

第7章 第一个设计问题：二叉树树叶计数 44

7.1定义问题 46

7.2开发非形式策略 47

7.3策略的形式化 47

第8章 数据抽象和Ada的类型 52

8.1数据抽象 53

8.2类型 55

8.3声明 77

练习 79

第9章 第二个设计问题：数据库查询 79

9.2开发非形式策略 80

9.1定义问题 80

9.3策略的形式化 81

第4篇 算法与控制 86

第10章 子程序 86

10.1Ada子程序的形式 88

10.2子程序调用 93

10.3Ada子程序的应用 95

第11章 表达式和语句 97

11.1名字 98

11.2值 100

11.3表达式 102

11.4语句 107

第12章 第二个设计问题：续 114

12.1复述问题 116

12.2实现操作 116

第5篇 封装的概念 127

第13章 程序包 127

练习 127

13.1Ada程序包的形式 130

13.2程序包和私有类型 135

13.3Ada程序包的应用 136

第14章 类属程序单元 147

14.1Ada类属程序单元的形式 149

14.2类属参数 151

14.3Ada类属程序单元的应用 155

练习 155

第15章 第三个设计问题：集合的类属程序包 155

15.1定义问题 156

15.2开发非形式策略 157

15.3策略的形式化 158

第6篇 并行实时处理 165

第16章 任务 165

16.1Ada任务的形式 169

16.2任务的语句 176

16.3Ada任务的应用 183

第17章 异常处理及低级特征 192

17.1异常 194

17.2表示法规格说明 203

17.3与系统有关的特征 207

练习 210

第18章 第四个设计问题：过程控制 210

18.1定义问题 211

18.2开发非形式策略 211

18.3策略的形式化 212

第7篇 系统开发 225

第19章 输入／输出 225

19.1非正文数据的输入／输出 228

19.2正文输入／输出 233

练习 237

第20章 大型程序设计 237

19.3低级的输入／输出 237

20.1名字空间的管理 238

20.2分别编译问题 244

20.3大型系统的结构 247

第21章 第五个设计问题：座舱显示器 247

21.1定义问题 250

21.2开发非形式策略 252

21.3策略的形式化 253

第8篇 用Ada进行程序设计 259

第22章 Ada程序设计支持环境 259

22.1对现有程序设计环境的评述 262

22.2Ada程序设计环境的基本原理 262

22.3Ada程序设计环境的结构 263

第23章 Ada软件生存期 265

23.1分析阶段 266

23.3设计阶段 267

23.2需求定义阶段 267

23.4编码阶段 268

23.5测试阶段 269

23.6使用与维护阶段 270

第24章 趋向与结论 270

24.1国防部软件的趋向 271

24.2Ada的成就 271

24.3结论 272

附录A Ada语法图 273

附录B Ada风格指南 310

附录C 预定义语言环境 313

附录D 预定义语言属性 328

附录E 预定义语言编用 333

附录F 设计问题的解 335

附录G 习题选解 356

术语汇编 365

注释 371

参考文献 376