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
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