Issue No. 01 - January/February (1994 vol. 11)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/52.251208
<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>
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
L. G. Williams, "Assessment of Safety-Critical Specifications," in IEEE Software, vol. 11, no. , pp. 51-60, 1994.