IEEE - Institute of Electrical and Electronics Engineers, Inc. - Completeness and consistency in hierarchical state-based requirements

Author(s): M.P.E. Heimdahl ; N.G. Leveson
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 1996
Volume: 22
Page Count: 15
Page(s): 363 - 377
ISSN (Paper): 0098-5589
DOI: 10.1109/32.508311
Regular:

This paper describes methods for automatically analyzing formal, state-based requirements specifications for some aspects of completeness and consistency. The approach uses a low-level functional... View More

Advertisement