Search the dblp DataBase

Publications of Author

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. [Citation Graph (0, 0)][DBLP]
   Informatik Spektrum, 2005, v:28, n:5, pp:399-402 [Journal]
   
2. 
   Verifying UML/OCL models using Boolean satisfiability. [Citation Graph (, )][DBLP]
   
   
3. 
   Zur Validierung von Kompositionsstrukturen in UML mit USE. [Citation Graph (, )][DBLP]
   
   
4. 
   Shortcomings of the Embedding of OCL into QVT ImperativeOCL. [Citation Graph (, )][DBLP]
   
   
5. 
   A Benchmark for OCL Engine Accuracy, Determinateness, and Efficiency. [Citation Graph (, )][DBLP]
   
   
6. 
   On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set. [Citation Graph (, )][DBLP]
   
   
7. 
   Consistency, Independence and Consequences in UML and OCL Models. [Citation Graph (, )][DBLP]
   
   
8. 
   Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases. [Citation Graph (, )][DBLP]