Accession Number:

ADA136944

Title:

The Behavioral Demonstrator: A Requirements Specification Executor.

Descriptive Note:

Technical rept.,

Corporate Author:

VIRGINIA POLYTECHNIC INST AND STATE UNIV BLACKSBURG COMPUTER SCIENCE INDUSTRI AL ENGINEERING/OPERATIONS RES

Personal Author(s):

Report Date:

1983-05-01

Pagination or Media Count:

62.0

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

Subject Categories:

  • Computer Systems Management and Standards

Distribution Statement:

APPROVED FOR PUBLIC RELEASE