REVS Users Manual. SREP Final Report. Volume II.

Abstract

This manual describes and provides instructions for using the Requirements Statement Language (RSL) and the Requirements Engineering and Validation System (REVS). RSL is a flow oriented language for stating software requirements in a clear, non-ambibiguous form. REVS includes a translator for RSL, a data base for maintaining the description of a system's software requirements, an interactive graphics input and display system, and a set of tools for analyzing the requirements data base for consistency, completeness, and logical integrity. REVS also includes an automated simulation generation capability which allows simulations to be generated directly from the statement of requirements as written in RSL. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 01, 1977
Accession Number
ADA046572

Entities

People

  • L. J. Gunther
  • M. E. Dyer
  • P. N. Bergstresser
  • Robert W. Smith
  • W. E. Benoit

Tags

Communities of Interest

  • C4I
  • Energy and Power Technologies
  • Engineered Resilient Systems
  • Ground and Sea Platforms
  • Weapons Technologies

DTIC Thesaurus Topics

  • Accuracy
  • Artificial Intelligence
  • Ballistic Missiles
  • Computer Programming
  • Computer Programs
  • Computers
  • Consoles
  • Data Analysis
  • Data Processing
  • Data Sets
  • Databases
  • Engineering
  • Language
  • Nets
  • Operating Systems
  • Plastic Explosives
  • Simulators

Fields of Study

  • Computer science

Readers

  • Computational Linguistics
  • Database Systems and Applications
  • Software Engineering