The Application of ANNA (ANNotated Ada) and Formal Methods as an Ada Program Design Language
MITRE CORP BEDFORD MA
Pagination or Media Count:
As part of its support for the introduction of Ada technology into Air Force projects, the MITRE Software Center began an investigation into how Ada could be used as a Program Design Language PDL within the framework of the software development process called for in DOD-STD-2167 and its associated Data Item Descriptions DIDs. This investigation also looked into the use of formal software development methods within an Ada PDL. The investigation took the form of a model design methods within Micro Interactive Monitor System MIMSY. Project documentation and two preliminary designs were produced. These designs used a combination of Buhrs diagram notations and Luckhams ANNotated Ada ANNA language and Task Sequencing Language TSL as the program design languages. This report summarizes the work performed and the lessons learned about Ada PDLSs, ANNA, TSL and formal methods.
- Computer Programming and Software