Ada软件质量保证系统的构成框架和集成机制

本文主要探讨建造Ａｄａ软件质量保证系统应考虑的技术成分和环境的构成要素，并给出系统的原型框架。

Ada并发软件的质量保证策略和模型

本文概述了Ａｄａ并发软件质量保证的基本特点，探讨了死锁检测和实时性检测与优化方法，并研究了相应的质量保证策略和模型。