The Specification Statement.

Published in: ACM Trans. Program. Lang. Syst. (1988)

Keyphrases

specification language
artificial intelligence
similarity measure
neural network
three dimensional
multiscale
formal specification
database
databases
multimedia
multiresolution
query language
user defined
formal methods
ims learning design
transition systems