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

Gogolla, MartinRichters, MarkBohling, JörnLindow, ArneBüttner, FabianZiemann, PaulRumpe, BernhardHesse, Wolfgang2019-10-162019-10-1620043-88579-374-1https://dl.gi.de/handle/20.500.12116/29240deWerkzeugunterstützung für die Validierung von UML- und OCL-Modellen durchautomatische Snapshot-GenerierungText/Conference Paper1617-5468