JUCS - Journal of Universal Computer Science 13(5): 607-618, doi: 10.3217/jucs-013-05-0607
Formal Methods for Specifying, Validating, and Verifying Requirements
expand article infoConstance L. Heitmeyer‡
‡ Naval Research Laboratory, Washington, United States of America

Corresponding author: Constance Heitmeyer ( heitmeyer@itd.nrl.navy.mil )

© Constance Heitmeyer.
This article is freely available under the J.UCS Open Content License.
Citation: Heitmeyer CL (2007) Formal Methods for Specifying, Validating, and Verifying Requirements. JUCS - Journal of Universal Computer Science 13(5): 607-618. https://doi.org/10.3217/jucs-013-05-0607
Open Access
Abstract
This paper describes the specification, validation and verification of system and soft-ware 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