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

Abstract

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Oct 01, 1986
Accession Number
ADA175120

Entities

People

  • C. M. Byrnes

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Abstracts
  • Acquisition
  • Air Force
  • Computer Programming
  • Computers
  • Contracts
  • Department Of Defense
  • Governments
  • High Level Languages
  • Information Science
  • Language
  • Lessons Learned
  • Notation
  • Operating Systems
  • Software Development
  • United States
  • User Interface

Fields of Study

  • Computer science
  • Engineering

Readers

  • Business Analytics
  • Enterprise Information Systems Architecture and Joint Command Capability Interoperability Support.
  • Software Verification and Validation.