Strengthening SAT-Based Validation of UML/OCL Models by Representing Collections as Relations.

Mirco Kuhlmann Martin Gogolla

Published in: ECMFA (2012)

Keyphrases

metamodel
constraint language
model validation
tool support
modeling language
database design
learning algorithm
black box
development process
uml diagrams
answer set programming
life cycle
software systems
software development
probabilistic model
digital libraries
search algorithm
metadata