SCR: A Practical Method for Requirements Specification

Abstract

A controversial issue in the formal methods research community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A premise of this paper is that formal methods research has produced several techniques with potential utility in practical software development, but that mathematical sophistication and theorem proving skills should not be prerequisites for using these techniques. In the paper, several attributes needed to make a formal method useful in practice are described. These attributes include user-friendly notation, automated (i.e., push button) analysis, and easy to understand feedback. To illustrate the attributes of a practical formal method, a formal method for requirements specification called SCR (Software Cost Reduction) is introduced.

Open PDF

Document Details

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

Entities

People

  • Constance Heitmeyer

Organizations

  • United States Naval Research Laboratory

Tags

Communities of Interest

  • Air Platforms

DTIC Thesaurus Topics

  • Aircrafts
  • Attack Aircraft
  • Consistency
  • Cost Reductions
  • Costs
  • Engineering
  • Feedback
  • Fighter Aircraft
  • Language
  • Military Research
  • Models
  • Push Buttons
  • Simulations
  • Simulators
  • Software Development
  • Specifications
  • Standards

Fields of Study

  • Computer science

Readers

  • Database Systems and Applications
  • Systems Analysis and Design