|
Search the dblp DataBase
Mirco Kuhlmann:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] Informatik Spektrum, 2005, v:28, n:5, pp:399-402 [Journal]
Verifying UML/OCL models using Boolean satisfiability. [Citation Graph (, )][DBLP]
Zur Validierung von Kompositionsstrukturen in UML mit USE. [Citation Graph (, )][DBLP]
Shortcomings of the Embedding of OCL into QVT ImperativeOCL. [Citation Graph (, )][DBLP]
A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. [Citation Graph (, )][DBLP]
On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. [Citation Graph (, )][DBLP]
Consistency, Independence and Consequences in UML and OCL Models. [Citation Graph (, )][DBLP]
Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|