Login / Signup
Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study.
Martin Gogolla
Lars Hamann
Frank Hilken
Matthias Sedlmeier
Published in:
TAP@STAF (2015)
Keyphrases
</>
metamodel
case study
statistical model
objective function
formal model
high level
probability distribution
computational model
mathematical model
conceptual model
database systems
prior knowledge
software development
software systems
development process