The Behavioral Demonstrator: A Requirements Specification Executor.

Abstract

This report presents a design for tools which aid in the requirements verification of computer systems. These tools use a very high level graphical requirements specification language and a system development methodology for human-computer systems. The report moves from an abstract design to actual implementation and uses a sample application system throughout the illustration. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
May 01, 1983
Accession Number
ADA136944

Entities

People

  • J. E. Callan Iii

Organizations

  • Virginia Tech

Tags

Communities of Interest

  • C4I
  • Weapons Technologies

DTIC Thesaurus Topics

  • Abstracts
  • Application Software
  • Compilers
  • Computer Program Reliability
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Databases
  • Engineering
  • Formal Languages
  • Human Factors Engineering
  • Industrial Engineering
  • Language
  • Standards
  • Supervisors
  • Translators

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computer Science/Computer Engineering/Data Science/Digital Signal Processing.
  • Software Engineering.