Validation of UML and OCL Models by Automatic Snapshot Generation.

Martin Gogolla Jörn Bohling Mark Richters

Published in: UML (2003)

Keyphrases

metamodel
case study
probabilistic model
complex systems
experimental data
tool support
uml models
relational databases
object oriented
software systems
computational models
black box
modeling language