Ada软件开发技术

　　《Ada软件开发技术》系统阐述国内外（包括作者所在群体）在Ada软件开发方法、技术、工具和环境方面的成果，重点在Ada语言对软件工程的支持、大型软件的构造、面向对象软件构造、图式软件开发方法和作者近期提出的A型对象。作者的有些成果属首次发表。Ada语言是为开发高可靠和长寿命软件系统而设计的。
　　《Ada软件开发技术》可供从事高可靠和长寿命软件系统的设计开发、软件工程技术、计算机程序语言的专业人员、高等院校的教师参考，也可作为博士、硕士研究生的参考书。

　　王振宇，1936年生于河南大康。1956年毕业于武汉大学数学系。早年从事函数论研究。1970年以来从事计算机科学和软件研究。现任中国船舶重工集团七院七零九研究所研究员，博士生导师，所技术顾问，武汉计算机软件工程学会副理事长，中国科学院软件研究所兼职研究员。主攻方向：Ada语言、软件工程、软件开发工具和环境、算法复杂性分析及有关数学工具、软件复杂性度量。他多次承担并完成了国防科技重点项目和国家自然科学基金项目，获部级科技进步奖9项，出版专著5部，在国内外学术刊物和会议上发表论文约150篇。
　　梁先忠，1959年生于武汉市。1982年毕业于大连海运学院自动化计算机系。1988年获中国舰船研究院硕士学位。现任中国船舶重工集团七院七零九研究所副研究员。他长期研究Ada语言及程序设计方法学、软件工具与环境。作为主要参与者，其研制的Ada软件开发环境获中国船舶工业总公司科技进步奖二等奖，他撰写的学术论文曾被在美国SanJose召开的TRI-Ada’91国际会议录用。由他主持的神图软件开发环境（神图C++/Fortran）连续两年获得中国软件行业推荐的优秀软件产品奖（1994年、1995年）。

第1章 Ada语言导引
1.1 Ada语言的工程化发展史
1.1.1 提出需求
1.1.2 制定规格
1.1.3 语言设计
1.1.4 测试与验证
1.1.5 Ada83出台
1.1.6 强制使用
1.1.7 维护与升级——Ada95的推出
1.1.8 强制政策的放弃
1.2 Ada组成结构
1.3 Ada语言特征
1.4 Ada软件开发工具与环境
1.5 Ada应用现状

第2章 Ada语言对软件工程的支持
2.1 软件工程活动对编程语言的需要
2.2 可靠性问题
2.2.1 抽象对可靠性的贡献
2.2.2 类型与强类型
2.2.3 信息隐藏
2.2.4 封装
2.3 程序执行效率问题
2.4 可维护性问题
2.4.1 看似冗余的代码
2.4.2 词法和语法
2.4.3 结构括号
2.4.4 程序单元结构相似性
2.4.5 程序单元体同规格说明的分离
2.5 大型软件的构造能力和程序没汁效率问题
2.5.1 类属化（参数化）
2.5.2 类型扩展（继承）
2.5.3 单元扩展（层次库结构）
2.5.4 类型组装（聚合）

第3章 Ada小型软件的构造
3.1 Ada语言慨述
3.1.1 系统与构成
3.1.2 词法元素
3.1.3 分隔符和定界符
3.1.4 注释与编用
3.1.5 标识符
3.1.6 保留字
3.1.7 数值与字符的字面量
3.1.8 数据与类型
3.1.9 语句与控制
3.1.10 单元与结构
3.2 Ada数据类型
3.2.1 标量类型
3.2.2 组合类型
3.2.3 访问类型
3.2.4 方法学类型
3.3 Ada控制结构
3.3.1 顺序控制结构
3.3.2 循环控制结构
3.3.3 选择控制结构
3.4 Ada程序单元
3.4.1 子程序
3.4.2 程序包
3.4.3 类属单元

第4章 Ada大型软件的构造
4.1 Ada程序结构
4.1.1 系统结构
4.1.2 部件（主题）结构
4.1.3 单元结构
4.2 程序包应用形式
4.2.1 程序包用于封装一组逻辑上相关的实体
4.2.2 程序包用于封装抽象数据类型
4.2.3 程序包用于封装抽象状态机
4.2.4 类型化状态机
4.3 名字空间的管理
4.3.1 作用域和可见性
4.3.2 非直接可见的成分命名
4.3.3 逻辑上重栽命名
4.3.4 嵌套命名的掩蔽
4.3.5 冗长和冲突的实体换名
4.4 分别编译结构
4.4.1 单元的分离结构
4.4.2 库单元
4.4.3 子单元
4.4.4 编译顺序
4.5 层次单元结构
4.5.1 公有子库单元
4.5.2 私有子库单元
4.6 大型系统结构
4.6.1 自顶向下开发
4.6.2 由底向上开发
4.6.3 面向对象开发
4.6.4 基于软件体系结构的开发

第5章 Ada并发软件的构造
5.1 Ada任务的形式
5.2 任务间的通信与同步
5.2.1 会合机制
5.2.2 任务的专用语句
第6章 Ada83基于对象的软件构造
第7章 Ada95面向对象软件的构造
第8章 Ada软件的图式设计方法
第9章 Ada软件开发工具与环境（一）
第10章 Ada软件开发工具与环境（二）
第11章 基于Ada的软件体系结构描述

　　Ada是由美国国防部主持研制的一个大型通用过程性程序设计语言，它是世界上唯一由政府组织并按规定的需求和严格的软件工程原理研制的语言，是唯一经过世界范围众多的计算机科学家共同参与并得到工业界承认和响应的语言，是唯一必须经过严格测试并确认之后才能使用的标准语言。同其它程序设计语言相比，它的发展史是独特的，可以概括为：
　　■Ada语言的设计是一项工程，其发展史是一部工程史；
　　■Ada的发展史的大部分时间里，有政府的干预；
　　■Ada的发展又非常鲜明地体现了技术的推动。
　　在这3点里，第一点更突出，以下我们就按照工程史的方式来描述Ada语言的发展过程，而将政府的干预和技术的推动融入到里面。
　　1.1.1 提出需求
　　从1968年到1973年，美国国防部已经注意到大型防务系统的软件费用有不断攀升的趋势：虽硬件开支大幅度地减少，美国国防部用于计算机系统的直接开支仍然增加了51%。经过多方面的调查研究和分析，对于由系统延期交付、软件不可靠以及费用超支等情况察觉到拙劣管理的影响，残酷的现实才逐步使人们将大型软件开发的问题提到应有的高度来认识，达成共识。

　　虽然Ada是一个通用的编程语言，但Ada语言的主要设计目的是支持长寿命、高可靠软件系统的开发，因而不能简单地将Ada语言作为一个编程语言对待。Ada语言只有同正确的软件工程方法学结合使用，才能充分发挥其优点。本书的内容就是阐述Ada语言工具和Ada软件工程的开发技术及方法，以总结我们自己有关Ada语言、工具、方法的研究和技术成果，并兼顾国内外的有关研究和应用经验。本书中既有就Ada语言深入探讨的内容，又有就同样问题同其它流行语言的比较。重点在Ada语言对软件工程的支持、Aria大型软件构造、Ada面向对象软件构造、图式Ada软件开发技术、Ada软件开发工具和环境。
　　本书由王振字与粱先忠合著。王振宇给出全书的大纲，并执笔撰写第1，2，7，9，10章。梁先忠撰写第3，4，6革，二人合作撰写第8，11章． 赵恒撰写了第5章， 第7章7.5节和第10章10.5.8节的初稿。第7章的前4节参考了北京系统工程研究所姜静波等同志的编写稿。全书最后由壬振宇统稿。
　　衷心地感谢对这十几年的研究T作给予大力支持和鼓励的汪成为院士和董蕴美院士、北京大学许卓群教授、北京系统工程研究所的何新贵研究员、姜静波研究员和已经不幸去世的史畏三研究员；还要感谢曾作为作者王振宇的研究生参加过有关研究工作的臧小林、徐宝文、赵一心、马小东、曹万华、袁文军、黄立波、赵恒、张立、况银瓶、池志强等。实际上，本书部分章节都涉及他们的研究工作和发表的论文。
　　感谢国防科技图书出版基金评审委员会对本书出版的资助。
　　作者
　　2000年3月于武汉