Ada 软件开发技术

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

暂缺《Ada 软件开发技术》作者简介

一，Ada语言导引
二，Ada语言对软件工程的支持
三，Ada小型软件的构造
四，Ada大型软件的构造
五，Ada并发软件的构造
六，Ada83基于对象的软件构造
七，Ada95面向对象软件的构造
八，Ada软件的图式设计方法
九，Ada软件开发工具与环境（一）
十，Ada软件开发工具与环境（二）
十一，基于Ada的软件体系结构描述