The SCR method for formally specifying, verifying, and validating requirements

Constance Heitmeyer, James Kirby, Bruce Labaw
1997 Proceedings of the 19th international conference on Software engineering - ICSE '97  
This paper describes the specification, validation and verification of system and software requirements using the SCR tabular method and tools. An example is presented to illustrate the SCR tabular notation, and an overview of each of the ten tools in the SCR toolset is presented.
doi:10.1145/253228.253498 dblp:conf/icse/HeitmeyerKL97 fatcat:ulpfptgmlncnxc6gjw3ppu7m7u