Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durchautomatische Snapshot-Generierung

Gogolla, Martin; Richters, Mark; Bohling, Jörn; Lindow, Arne; Büttner, Fabian; Ziemann, Paul (2004): Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durchautomatische Snapshot-Generierung. Modellierung 2004. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-374-1. pp. 280-281. Regular Research Papers. Marburg. 23.-26. März 2004