Foliensätze 11. und 12. Vorlesung July 9, 2024 Maximilian Freiherr von Künßberg Graph and Model Driven Engineering, SS24 13_GMDE_Erkennen-inkonsistenter-Anforderungen 14_GMDE_Modellbasiertes-Testen