Ground setting properties for an efficient translation of OCL in SMT-based model finding.

Nils Przigoda Robert Wille Rolf Drechsler

Published in: MoDELS (2016)

Keyphrases

computational model
probabilistic model
management system
statistical model
theoretical analysis
formal model
cost function
probability distribution
natural language processing
experimental data
metamodel
neural network
decision trees
input data
process model
mathematical model