Software engineering-from theory to implementation: Ada-conclusions from an operational software development unit using Ada in the Israeli Air-Force

Conclusions based on the use of the Ada programming language in an air-force unit developing operational software are summarized. The conclusions are grouped according to the aspect of the system's life cycle to which they refer, namely, design, coding, integration, and maintenance. These are followed by some general conclusions. The satisfactory results obtained with Ada have led to the decision to use it as the language for every new system developed.<>