A UML model consistency verification approach based on meta-modeling formalization.

Hugues Malgouyres Gilles Motet

Published in: SAC (2006)

Keyphrases

formal model
probabilistic model
metamodel
mathematical model
high level
experimental data
theoretical framework
management system
cost function
modeling method
statistical model
prior knowledge
conceptual model
objective function
neural network
formal methods
dependency graph