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