A Minimal Framework for Specification Theory.

Bernd Baumgarten

Published in: World Congress on Formal Methods (1999)

Keyphrases

theoretical framework
conceptual framework
mathematical framework
lightweight
main contribution
theoretical foundation
logical framework
data mining
information systems
multi agent systems
hidden markov models
probabilistic model
computational model
mathematical theory