Published May 28, 2007 | Version v1
Journal article Open

Formal Methods for Specifying, Validating, and Verifying Requirements

Creators

  • 1. Naval Research Laboratory, Washington, United States of America

Description

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.

Files

jucs_article_28782.pdf

Files (469.1 kB)

Name Size Download all
md5:651343912353d9dbfb2bf2675e23b125
469.1 kB Preview Download