Towards a Base Model for UML and OCL Verification.

Frank Hilken Philipp Niemann Robert Wille Martin Gogolla

Published in: MoDeVVa@MoDELS (2014)

Keyphrases

high level
metamodel
probabilistic model
computational model
probability distribution
experimental data
formal model
statistical model
prior knowledge
information systems
hidden markov models
management system
parameter estimation
mathematical model
state machine