Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durchautomatische SnapshotGenerierung
Martin Gogolla
, Mark Richters
, Jörn Bohling
, Arne Lindow
, Fabian Büttner
and Paul Ziemann
Full Text: PDF