Title of article
Formal Methods for Specifying, Validating, and Verifying Requirements
Author/Authors
Heitmeyer, Constance L. Naval Research Laboratory, USA
From page
607
To page
618
Abstract
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
Keywords
Formal Methods , Requirements , SCR Toolset
Journal title
International Journal of Universal Computer Sciences
Journal title
International Journal of Universal Computer Sciences
Record number
2574598
Link To Document