JOVIAL Language Control Procedures with a View Toward Ada (Trademark),
Abstract
JOVIAL is the interim standard language for Air Force avionics embedded computer until Ada becomes available. The JOVIAL Language Control Facility (LCF) has developed and fine-tuned the procedures of language control and defined them using a formal modeling technique. The resulting models promote tight administration of the control function by exposing the details of all tasks and forcing attention to their interrelationships. They also provide a basis for reconfiguring proven Air Force language control functions for Ada, and the LCF has identified some important considerations in accomplishing this. The Air Force's transition to Ada has a high probability of success because of their experience with JOVIAL, their systematic evolution and fine-tuning of language control procedures, and the extensibility of these procedures to encompass Ada. (Author)
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1982
- Accession Number
- ADP003522
Entities
People
- B. R. Evans
- P. A. Knoop