Browsing by Author "Kuhlmann, Mirco"
Now showing items 1-4 of 4
-
From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics
Gogolla, Martin; Hamann, Lars; Hilken, Frank; Kuhlmann, Mirco; France, Robert
273-288 -
LerM – Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas
Kuhlmann, Mirco; Scholz, Florian; Barann, Marcus; Grathwohl, Paul; Gündoğan, Aysun; Hildebrandt, Sonja; Kaspuhl, Dennis; Seewaldt, Andreas
399-402 -
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE
Hamann, Lars; Büttner, Fabian; Kuhlmann, Mirco; Gogolla, Martin
155-170 -
Zur Validierung von Kompositionsstrukturen in UML mit USE
Hamann, Lars; Gogolla, Martin; Kuhlmann, Mirco
169-177