A metalanguage based on a theory of specification.

Karl B. Zerangue Joseph E. Urban

Published in: COMPSAC (1992)

Keyphrases

high level
theoretical framework
website
evolutionary algorithm
computational model
real time
data sets
data mining
machine learning
information systems
general theory
formal verification