《ADA软件工程》求取 ⇩

第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自顶向下陈述Ada30

6.3由底向上分述Ada32

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