Travelled to:
1 × France
1 × Germany
1 × Italy
1 × Jamaica
Collaborated with:
S.Markovic ∅ F.Fondement W.Ahrendt B.Beckert M.Giese E.Habermalz R.Hähnle W.Menzel W.Mostowski P.H.Schmitt
Talks about:
concret (2) syntax (2) ocl (2) metamodel (1) refactor (1) specifi (1) languag (1) diagram (1) correct (1) visual (1)
Person: Thomas Baar
DBLP: Baar:Thomas
Facilitated 1 volumes:
Contributed to:
Wrote 5 papers:
- MoDELS-2006-Baar #modelling #syntax #visual notation
- Correctly Defined Concrete Syntax for Visual Modeling Languages (TB), pp. 111–125.
- MoDELS-2006-MarkovicB #ocl #qvt #semantics
- An OCL Semantics Specified with QVT (SM, TB), pp. 661–675.
- ECMDA-FA-2005-FondementB #metamodelling #syntax
- Making Metamodels Aware of Concrete Syntax (FF, TB), pp. 190–204.
- MoDELS-2005-MarkovicB #diagrams #ocl #refactoring #uml
- Refactoring OCL Annotated UML Class Diagrams (SM, TB), pp. 280–294.
- FASE-2002-AhrendtBBGHHMMS #design #formal method #object-oriented
- The KeY System: Integrating Object-Oriented Design and Formal Methods (WA, TB, BB, MG, EH, RH, WM, WM, PHS), pp. 327–330.