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