Behavioral Demonstrator: A Requirements Specification Executor

摘要

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)