Category Archives: Graph and Model Driven Engineering
Vollständiger Foliensatz (erweitert und nochmal korrigiert): 09_GMDE_Graphbedingungen
Zwei Beispiele für die Berechnung garantierender Anwendungsbedingungen: Beispiel 1 und Beispiel 2
Hier eine zip-Datei mit Lösungen zum 1. Übungsblatt.