Application of Ada higher-order language to guidance and control. Lecture series
The Department of Defense stated that Ada shall become the single, common computer-programming language for Defense mission-critical applications beginning in 1984. The proposal to make Ada a NATO standard High Order Language (HOL) as well, prompted the GCP to provide a Lecture Series embracing the basic structure, theories, and principles embodied in this HOL. The need to reduce escalating software life-cycle costs is the raison d'etre for Ada. Early experience with the language suggests that the promise of increased software productivity can be fulfilled. However, many problems remain; the need for validated and efficient compilers targeted for computers suitable to the guidance and control application, and software development environments built around Ada, are two among the foremost. This Lecture Series addresses both the promise and the problems. Following an introduction to Ada, the structure and features of the language are described. Two special features of Ada, parallel processing and software reusability, are discussed in detail. Compiler development and validation, and the use of Ada in programming environments are described. Finally, the use of Ada in a real-world pilot project is described.
- Research Organization:
- Advisory Group for Aerospace Research and Development, 92 - Neuilly-sur-Seine (France)
- OSTI ID:
- 7204262
- Report Number(s):
- AD-A-171299/1/XAB; AGARD-LS-146
- Country of Publication:
- United States
- Language:
- English
Similar Records
Research, development, training, and education using the Ada programming language. Final report, 1 September 1987-31 May 1989
Use of language features in the implementation and validation of a standardized generic package of elementary functions for Ada
Related Subjects
DIGITAL COMPUTERS
PROGRAMMING LANGUAGES
NATO
PARALLEL PROCESSING
US DOD
PRODUCTIVITY
VALIDATION
COMPUTERS
INTERNATIONAL ORGANIZATIONS
NATIONAL ORGANIZATIONS
PROGRAMMING
TESTING
US ORGANIZATIONS
990100* - Management
990200 - Mathematics & Computers