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) : Callan, J E , III

PDF Url : ADA136944

Report Date : May 1983

Pagination or Media Count : 62

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)

Descriptors :   *MAN COMPUTER INTERFACE, *SYSTEMS ANALYSIS, REQUIREMENTS, SPECIFICATIONS, COMPUTER GRAPHICS, DATA BASES, INPUT OUTPUT PROCESSING, INTERACTIONS, USER NEEDS

Subject Categories : Computer Systems Management and Standards

Distribution Statement : APPROVED FOR PUBLIC RELEASE