The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (1994 vol.11)
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. 1, pp. 51-60, January/February 1994, doi:10.1109/52.251208
63 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool