The Metaview System for Many Specification Environments.

Paul G. Sorenson J. Paul Tremblay Andrew J. McAllister

Published in: IEEE Softw. (1988)

Keyphrases

high level
specification language
real time
artificial intelligence
complex environments
databases
real world
machine learning
information systems
multi agent
data structure
petri net
formal specification