Browsing by Author "Gogolla, Martin"
Now showing items 1-12 of 12
-
Employing Classifying Terms for Testing Model Transformations
Gogolla, Martin; Vallecillo, Antonio; Burgueno, Loli; Hilken, Frank
91 -
Endogene metamodellierung der semantik von neueren UML 2 sprachmitteln
Hamann, Lars; Gogolla, Martin
31-32 -
Extending a UML and OCL Tool for Meta-Modeling: Applications towards Model Quality Assessment
Doan, Khanh-Hoang; Gogolla, Martin
135-150 -
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 -
Model validation and verification options in a contemporary UML and OCL analysis tool
Gogolla, Martin; Hilken, Frank
205-220 -
Modeling Low-Level Network Configurations for Analysis, Simulation and Testing
Schuster, Marcel; Germeier, Markus; Hilken, Frank; Gogolla, Martin; Sohr, Karsten
157-172 -
Eine multimediale Erweiterung eines UML-Tools für Lehrzwecke
Lindow, Arne; Gogolla, Martin
393-394 -
Optimierte Suche von Modellinstanzen für UML/OCL-Beschreibungen in USE
Hamann, Lars; Büttner, Fabian; Kuhlmann, Mirco; Gogolla, Martin
155-170 -
Towards a catalog of structural and behavioral verification tasks for UML/OCL models
Hilken, Frank; Niemann, Philipp; Gogolla, Martin; Wille, Robert
117-124 -
Werkzeugunterstützung für die Validierung von UML- und OCL-Modellen durchautomatische Snapshot-Generierung
Gogolla, Martin; Richters, Mark; Bohling, Jörn; Lindow, Arne; Büttner, Fabian; Ziemann, Paul
280-281 -
Zur Integration von Struktur- und Verhaltensmodellierung mit OCL
Hamann, Lars; Gogolla, Martin; Hofrichter, Oliver
75-76 -
Zur Validierung von Kompositionsstrukturen in UML mit USE
Hamann, Lars; Gogolla, Martin; Kuhlmann, Mirco
169-177