 | 2009 |
|---|
| 7 |       | Martin Gogolla,
Mirco Kuhlmann,
Lars Hamann:
Consistency, Independence and Consequences in UML and OCL Models.
TAP 2009: 90-104 |
| 2008 |
|---|
| 6 | | Martin Gogolla,
Mirco Kuhlmann,
Fabian Büttner:
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency.
MoDELS 2008: 446-459 |
| 5 | | Fabian Büttner,
Mirco Kuhlmann:
Shortcomings of the Embedding of OCL into QVT ImperativeOCL.
MoDELS Workshops 2008: 263-272 |
| 4 | | Fabian Büttner,
Mirco Kuhlmann:
Problems and Enhancements of the Embedding of OCL into QVT ImperativeOCL.
ECEASST 15: (2008) |
| 3 | | Mirco Kuhlmann,
Martin Gogolla:
Analyzing Semantic Properties of OCL Operations by Uncovering Interoperational Relationships.
ECEASST 9: (2008) |
| 2 | | Mirco Kuhlmann,
Martin Gogolla:
Modeling and validating Mondex scenarios described in UML and OCL with USE.
Formal Asp. Comput. 20(1): 79-100 (2008) |
| 2005 |
|---|
| 1 | | Mirco Kuhlmann,
Florian Scholz,
Marcus Barann,
Paul Grathwohl,
Aysun Gündogan,
Sonja Hildebrandt,
Dennis Kaspuhl,
Andreas Seewaldt:
LerM - Lehrsystem für Kontrapunkt-Kompositionen im Stile Palestrinas.
Informatik Spektrum 28(5): 399-402 (2005) |
