Login / Signup
Essay on Semantics Definition in MDE - An Instrumented Approach for Model Verification.
Benoît Combemale
Xavier Crégut
Pierre-Loïc Garoche
Xavier Thirioux
Published in:
J. Softw. (2009)
Keyphrases
</>
database
high level
computational model
conceptual model
formal model
multi agent
management system
statistical model
similarity measure
object oriented
theoretical analysis
parameter estimation
experimental data
specification language
semantic models