Specification Modules in LOTOS.

Published in: FORTE (1989)

Keyphrases

temporal ordering
high level
modular structure
formal specification
knowledge structures
specification language
formal verification
functional modules
data sets
information retrieval
artificial intelligence
decision making
building blocks