The Community for Technology Leaders
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) (1995)
York, England
Mar. 27, 1995 to Mar. 29, 1995
ISBN: 0-8186-7017-7
pp: 56
C. Heitmeyer , Naval Res. Lab., Washington, DC, USA
B. Labaw , Naval Res. Lab., Washington, DC, USA
D. Kiskis , Naval Res. Lab., Washington, DC, USA
ABSTRACT
The paper describes a class of formal analysis called consistency checking that mechanically checks requirements specifications, expressed in the SCR tabular notation, for application independent properties. Properties include domain coverage, type correctness, and determinism. As background, the SCR notation for specifying requirements is reviewed. A formal requirements model describing the meaning of the SCR notation is summarized, and consistency checks derived from the formal model are described. The results of experiments to evaluate the utility of automated consistency checking are presented. Where consistency checking of requirements fits in the software development process is discussed.
INDEX TERMS
program verification; data integrity; formal specification; SCR-style requirements specifications; formal analysis; SCR tabular notation; application independent properties; domain coverage; type correctness; determinism; formal requirements model; consistency checks; formal model; automated consistency checking; software development process
CITATION

D. Kiskis, B. Labaw and C. Heitmeyer, "Consistency checking of SCR-style requirements specifications," Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)(RE), York, England, 1995, pp. 56.
doi:10.1109/ISRE.1995.512546
93 ms
(Ver 3.3 (11022016))