Evaluation Criteria for Real-Time Specification Languages
- 11 February 1992
- report
- Published by Defense Technical Information Center (DTIC)
Abstract
We develop a set of general evaluation criteria for (formal and informal) real-time specification languages. These criteria cover important properties of a specification (applicability to real-time systems, completeness, etc.) as well as techniques for analyzing those properties (verification traceability, etc.) These general criteria are intended as a guide to development of more specific criteria during actual evaluations of languages.Keywords
This publication has 0 references indexed in Scilit: