Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 5

available in:   PDF (458 kB) PS (526 kB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-05-0607


Formal Methods for Specifying, Validating, and Verifying Requirements

Constance L. Heitmeyer (Naval Research Laboratory, USA)

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: SCR toolset, formal methods, requirements

Categories: D.2.4, F.3.1