Composition in Multiparadigm Specification Techniques.

Lynne Blair Gordon S. Blair

Published in: FMOODS (1999)

Keyphrases

specification language
high level
formal specification
reactive systems
databases
information retrieval
learning algorithm
information systems
feature selection
multiscale
learning environment
video sequences
programming language
software development
petri net
formal methods