Research on Wide Spectrum Languages and Research Environments for System Design and Specification.
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1995
- Accession Number
- ADA325193
Entities
People
- David C. Luckham
Organizations
- Stanford University