Accession Number : ADA325193

Title :   Research on Wide Spectrum Languages and Research Environments for System Design and Specification.

Descriptive Note : Final rept. 1 Jun 91-30 Sep 95,

Corporate Author : STANFORD UNIV CA

Personal Author(s) : Luckham, David C.

PDF Url : ADA325193

Report Date : SEP 1995

Pagination or Media Count : 13

Abstract : We designed new formal specification languages, tools and methodologies under this project. The languages, tools and methodologies allow the complete development process of large systems, from requirements and design through to testing and maintenance, to be subject to new analysis techniques based on machine processable formal specifications. The formal specification languages used in the project or developed with full or partial support under this contract were Anna, TSL, TSL 1.5, VAL and Rapide. The analysis tools developed and enhanced as part of this project were the Anna Runtime Monitoring System and Anna Specification Analyzer. A number of methodologies and concepts based on formal specifications were developed as part of this project including debugging of specifications, methodologies for algebraic specification checking, methodologies for concurrent checking of specifications, methodologies for designing specifications and methodologies for system maintenance using specifications. A number of papers and technical reports and one book was published under this contract. A list of publications is included in this report. A lot of the effort in the project was spent on technology transfer. The training activities on formal specification included university courses and a tutorial in TriAda '91. Anna tools were ported to a number of platforms and the subset of Ada handled was enhanced. Anna was and is being used at a number of sites outside Stanford.

Descriptors :   *SYSTEMS ENGINEERING, *ADA PROGRAMMING LANGUAGE, SOFTWARE ENGINEERING, COMPUTER AIDED DESIGN, TECHNOLOGY TRANSFER, DEBUGGING(COMPUTERS), COMPUTER PROGRAM RELIABILITY.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE