Sign in
Towards a Catalog of Structural and Behavioral Verification Tasks for UML/OCL Models.
Frank Hilken
Philipp Niemann
Martin Gogolla
Robert Wille
Published in:
Modellierung (2016)
Keyphrases
</>
metamodel
statistical models
probabilistic model
prior knowledge
database design
uml models
information systems
hidden markov models
software engineering
software development
conceptual models
tool support
uml profile
activity diagrams