Accession Number : ADA257431


Title :   Ada Formal Methods in the STARS Environment


Descriptive Note : Informal technical rept.


Corporate Author : PARAMAX SYSTEMS CORP RESTON VA TACTICAL SYSTEMS DIV


Personal Author(s) : Weber, D G ; Barbasch, Cheryl ; Morris, James


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a257431.pdf


Report Date : 03 Jun 1992


Pagination or Media Count : 85


Abstract : This report is an interim product of Task 18. It is not intended to be a comprehensive review of work to be done on the Task, or even of work that has already been done (as the title of the deliverable might suggest). Rather, the report is a collection of several possible ways in which tools supporting formal methods might be made interoperable and/or integrated into a SEE. The possibilities discussed are merely representative, and are limited only by the effort available for completing the report. Much of the discussion relates to work being done in Ada verification at ORA, which is the STARS subcontractor primarily responsible for Task 18. SEE, formal methods, Ada, Penelope.


Descriptors :   *SOFTWARE ENGINEERING , *ADA PROGRAMMING LANGUAGE , VERIFICATION , TOOLS , STARS , COLLECTION , CONTRACTORS , WORK


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE