| * | 2008 | |
|---|---|---|
| 6 | EE | Slavisa Markovic, Thomas Baar: Refactoring OCL annotated UML class diagrams. Software and System Modeling 7(1): 25-47 (2008) |
| 5 | EE | Slavisa Markovic, Thomas Baar: Semantics of OCL specified with QVT. Software and System Modeling 7(4): 399-422 (2008) |
| 2006 | ||
| 4 | EE | Thomas Baar, Slavisa Markovic: A Graphical Approach to Prove the Semantic Preservation of UML/OCL Refactoring Rules. Ershov Memorial Conference 2006: 70-83 |
| 3 | EE | Slavisa Markovic, Thomas Baar: An OCL Semantics Specified with QVT. MoDELS 2006: 661-675 |
| 2 | EE | Thomas Baar, Slavisa Markovic, Frédéric Fondement, Alfred Strohmeier: Definition and Correct Refinement of Operation Specifications. Research Results of the DICS Program 2006: 127-144 |
| 2005 | ||
| 1 | EE | Slavisa Markovic, Thomas Baar: Refactoring OCL Annotated UML Class Diagrams. MoDELS 2005: 280-294 |
| 1 | Thomas Baar | [1] [2] [3] [4] [5] [6] |
| 2 | Frédéric Fondement | [2] |
| 3 | Alfred Strohmeier | [2] |