Tracing Properties of UML and OCL Models with Maude

Francisco Durán Martin Gogolla Manuel Roldán

Published in: AMMSE (2011)

Keyphrases

metamodel
software systems
modeling language
relational databases
statistical models
model driven
uml models
database
databases
object oriented
test cases
database design
statistical model
computational models
conceptual models
tool support