The Community for Technology Leaders
Green Image
Issue No. 01 - January/February (1994 vol. 11)
ISSN: 0740-7459
pp: 51-60
ABSTRACT
<p>Formal methods can reduce the ambiguity in specifications and provide a basis for verification later on/spl minus/especially important for safety-critical systems. The author compares specifications in the software cost reduction method and in the Vienna Definition Method for a safety-critical system and identifies several key assessment issues: understandability, assessment criteria, and semantic capabilities.</p>
INDEX TERMS
formal specification; formal verification; safety; software reliability; Vienna development method; software cost estimation; safety-critical system specifications; formal methods; specification ambiguity; formal verification; software cost reduction method; Vienna Definition Method; semantic capabilities; VDM; understandability; assessment criteria
CITATION
Lloyd G. Williams, "Assessment of Safety-Critical Specifications", IEEE Software, vol. 11, no. , pp. 51-60, January/February 1994, doi:10.1109/52.251208
92 ms
(Ver )