An Interactive Approach to Sotware Specification.

Stephen W. Smoliar

Published in: ECICS (1982)

Keyphrases

high level
real world
feature selection
formal methods
graphical interface
interactive video
artificial intelligence
information systems
case study
virtual reality
user defined
formal specification
information visualization
interactive learning