Formal Methods for Specifying, Validating, and Verifying Requirements

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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 28, 2007
Accession Number
ADA480106

Entities

People

  • Constance L. Heitmeyer

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Air Platforms
  • Energy and Power Technologies
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Control Systems
  • Device Drivers
  • Engineering
  • Jet Propulsion
  • Language
  • Notation
  • Operating Systems
  • Simulators
  • Software Development
  • Software Testing
  • Specifications
  • Validation
  • Verification

Fields of Study

  • Computer science

Readers

  • Business Analytics
  • Software Engineering.