Ada软件开发技术

Ada语言是为开发高可靠和长寿命软件系统而设计的。《Ada软件开发技术》系统阐述国内外(包括作者所在群体)在Ada软件开发方法、技术、工具和环境方面的成果，重点在Ada语言对软件工程的支持、大型软件的构造、面向对象软件构造、图式软件开发方法和作者近期提出的A型对象。作者的有些成果属首次发表。
《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%。经过多方面的调查研究和分析，对于由系统延期交付、软件不可靠以及费用超支等情况察觉到拙劣管理的影响，残酷的现实才逐步使人们将大型软件开发的问题提到应有的高度来认识，达成共识。