SCR*: A Toolset for Specifying and Analyzing Software Requirements

Abstract

A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method and its support tools. This paper describes the SCR (Software Cost Reduction) tools, part of a "practical" formal method|a method with a solid mathematical foundation that software developers can apply without theorem proving skills, knowledge of temporal and higher order logics, or consultation with formal methods experts. The SCR method provides a tabular notation for specifying requirements and a set of "light-weight" tools that detect several classes of errors automatically. The method also provides support for more "heavy-duty" tools, such as a model checker. To make model checking feasible, users can automatically apply one or more abstraction methods.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1998
Accession Number
ADA465334

Entities

People

  • Bruce Labaw
  • Constance Heitmeyer
  • James T Kirby
  • Ramesh Bharadwaj

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Air Platforms
  • Materials and Manufacturing Processes
  • Space
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Aircrafts
  • Attack Aircraft
  • Consistency
  • Contractors
  • Cost Reductions
  • Costs
  • Environment
  • Fighter Aircraft
  • Heavy Duty
  • Jet Propulsion
  • Language
  • Military Research
  • Models
  • Notation
  • Simulators
  • Space Stations

Fields of Study

  • Computer science
  • Engineering

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering.