Thomas Baar
Thomas Baar
HTW Berlin
Verified email at acm.org - Homepage
Title
Cited by
Cited by
Year
The key tool
W Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...
Software & Systems Modeling 4 (1), 32-54, 2005
3752005
Refactoring OCL annotated UML class diagrams
S Marković, T Baar
International Conference On Model Driven Engineering Languages And Systems …, 2005
1492005
The Approach: Integrating Object Oriented Design and Formal Verification
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
European Workshop on Logics in Artificial Intelligence, 21-36, 2000
862000
Making metamodels aware of concrete syntax
F Fondement, T Baar
European Conference on Model Driven Architecture-Foundations and …, 2005
732005
On the usage of concrete syntax in model transformation rules
T Baar, J Whittle
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
502006
Correctly defined concrete syntax for visual modeling languages
T Baar
International Conference on Model Driven Engineering Languages and Systems …, 2006
392006
The KeY system: Integrating object-oriented design and formal methods
W Ahrendt, T Baar, B Beckert, M Giese, E Habermalz, R Hähnle, ...
International Conference on Fundamental Approaches to Software Engineering …, 2002
392002
Semantics of OCL specified with QVT
S Marković, T Baar
Software & Systems Modeling 7 (4), 399-422, 2008
362008
A graphical approach to prove the semantic preservation of UML/OCL refactoring rules
T Baar, S Marković
International Andrei Ershov Memorial Conference on Perspectives of System …, 2006
322006
An integrated metamodel for OCL types
T Baar, R Hahnle
In Proc. of OOPSLA 2000, Workshop Refactoring the UML: In Search of the Core, 2000
312000
The definition of transitive closure with ocl–limitations and applications–
T Baar
International Andrei Ershov Memorial Conference on Perspectives of System …, 2003
302003
OCL and graph-transformations–a symbiotic alliance to alleviate the frame problem
T Baar
International Conference on Model Driven Engineering Languages and Systems …, 2005
232005
Tool support for OCL and related formalisms–needs and trends
T Baar, D Chiorean, A Correa, M Gogolla, H Hußmann, O Patrascoiu, ...
International Conference on Model Driven Engineering Languages and Systems, 1-9, 2005
212005
Entwurfsmustergesteuerte Erzeugung von OCL-Constraints
T Baar, R Hähnle, T Sattler, PH Schmitt
Informatik 2000, 389-404, 2000
212000
An Extension of Dynamic Logic for Modelling OCL’s @pre Operator
T Baar, B Beckert, PH Schmitt
International Andrei Ershov Memorial Conference on Perspectives of System …, 2001
182001
Experiences with the UML/OCL-approach to precise software modeling: A report from practice
T Baar
Proc. Net. ObjectDays, Erfurt, Germany, 2000
182000
An OCL semantics specified with QVT
S Marković, T Baar
International Conference on Model Driven Engineering Languages and Systems …, 2006
172006
Metamodels without Metacircularities.
T Baar
Obj. Logiciel Base données Réseaux 9 (4), 95-114, 2003
142003
Non-deterministic constructs in OCL–what does any () mean
T Baar
International SDL Forum, 32-46, 2005
132005
Correctly defined concrete syntax
T Baar
Software & Systems Modeling 7 (4), 383-398, 2008
122008
The system can't perform the operation now. Try again later.
Articles 1–20