SCR*: A Toolset for Specifying and Analyzing Requirements

Abstract

A set of CASE tools is described for developing formal requirements specifications expressed in the SCR (Software Cost Reduction) tabular notation. The tools include an editor for building the specifications, a consistency checker for testing the specifications for consistency with a formal requirements model, a simulator for symbolically executing the specifications, and a verifier for checking that the specifications satisfy selected application properties. As background, the SCR method for specifying requirements is reviewed, and a formal requirements model is introduced. Examples are presented to illustrate the tools.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1995
Accession Number
ADA465318

Entities

People

  • Alan Bull
  • Bruce Labaw
  • Carolyn Gasarch
  • Constance Heitmeyer

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Biomedical
  • Materials and Manufacturing Processes
  • Sensors
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Command And Control
  • Command And Control Systems
  • Computers
  • Consistency
  • Control Systems
  • Dictionaries
  • Environment
  • Errors
  • Machines
  • Military Research
  • Models
  • Notation
  • Nuclear Power Plants
  • Physiological Monitoring
  • Simulators
  • Software Development

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Software Engineering