The Application of ANNA (ANNotated Ada) and Formal Methods as an Ada Program Design Language PDF Download

Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download The Application of ANNA (ANNotated Ada) and Formal Methods as an Ada Program Design Language PDF full book. Access full book title The Application of ANNA (ANNotated Ada) and Formal Methods as an Ada Program Design Language by C. M. Byrnes. Download full books in PDF and EPUB format.

The Application of ANNA (ANNotated Ada) and Formal Methods as an Ada Program Design Language

The Application of ANNA (ANNotated Ada) and Formal Methods as an Ada Program Design Language PDF Author: C. M. Byrnes
Publisher:
ISBN:
Category :
Languages : en
Pages : 48

Get Book Here

Book Description
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 Buhr's diagram notations and Luckham's 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. (Author).