Semantics-Based Tools for a Specification-Support Environment.

Published in: MFPS (1987)

Keyphrases

support environment
distributed learning environments
building blocks
formal methods
visualization tools
grid technology
ims qti
data sets
metadata
website
high level
end users
decision support
formal specification