Accession Number : ADA172747
Title : Proceedings of the IDA (Institute for Defense Analyses) Workshop on Formal Specification and Verification of Ada (Trade Name) (2nd) Held in Alexandria, Virginia on July 23-25, 1985.
Descriptive Note : Final rept.,
Corporate Author : INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
Personal Author(s) : Mayfield,W T ; Welke,Stephen R
Report Date : Nov 1985
Pagination or Media Count : 357
Abstract : The Second Workshop identified current issues in Ada Verification and focused on what is needed to build the foundation of an Ada Verification Technology. IDA workshops will continue to be a meeting place for accessing the current state-of-the-art, identifying promising research areas, monitoring ongoing verification work, promoting the use of the evolving technology, and ensuring that valuable outputs from one area are fed into other areas. The desired product of these workshops will be recommendations to various bodies to coordinate and sponsor certain R&D activities. Working groups on special topics were also established.
Descriptors : *HIGH LEVEL LANGUAGES , MILITARY STRATEGY , SPECIFICATIONS , COMPUTER PROGRAMMING , PROGRAMMING LANGUAGES , SECURITY , COMPUTER PROGRAM VERIFICATION
Subject Categories : Computer Programming and Software
Distribution Statement : APPROVED FOR PUBLIC RELEASE