基于Ada的软件开发新模式

本文分析了Ada程序设计支持环境APSE在大型嵌入式软件开发过程中的成就与不足;论述了基于Ada的自动化软件开发新模式;讨论了实现这一模式的途径和面临的困难。