Ada and the NASA software environment
The NASA software, in broad categories, is described, and the software life cycle is characterized. Programming language policy and practices are reviewed. Applicability, benefits, and transition, as well as present and potential problems with Ada are examined.
Ng, E. W.↗