Domain-Specific Model Verification with QVT.

Maged Elaasar Lionel C. Briand Yvan Labiche

Published in: ECMFA (2011)

Keyphrases

domain specific
probabilistic model
statistical model
cost function
formal model
neural network
agent model
probability distribution
theoretical framework
experimental data
domain independent
theoretical analysis
prediction model
bayesian framework
em algorithm
general purpose
similarity measure