Thomas Baar
HTW Berlin - University of Applied Sciences
50 Papers
347 Citations
Thomas Baar is an academic researcher from HTW Berlin - University of Applied Sciences. The author has contributed to research in topics: Object Constraint Language & Unified Modeling Language. The author has an hindex of 16, co-authored 50 publications. Previous affiliations of Thomas Baar include École Polytechnique Fédérale de Lausanne & Karlsruhe Institute of Technology.
Chat about Author
Papers
The KeY tool
Wolfgang Ahrendt,Thomas Baar,Bernhard Beckert,Richard Bubel,Martin Giese,Reiner Hähnle,Wolfram Menzel,Wojciech Mostowski,Andreas Roth,Steffen Schlager,Peter H. Schmitt +10 more
TL;DR: KeY is a tool that provides facilities for formal specification and verification of programs within a commercial platform for UML based software development and provides a state-of-the-art theorem prover for interactive and automated verification.
Refactoring OCL annotated UML class diagrams
Slaviša Marković,Thomas Baar +1 more
TL;DR: This paper formalizes the most important refactoring rules for class diagrams and classifies them with respect to their impact on attached OCL constraints and discusses and solves the problem of syntax preservation by using the KeY-system.
Refactoring OCL annotated UML class diagrams
Slaviša Marković,Thomas Baar +1 more
- 02 Oct 2005
TL;DR: This paper formalizes the most important refactoring rules for class diagrams and classifies them with respect to their impact on annotated OCL constraints.
The KeY Approach: Integrating Object Oriented Design and Formal Verification
Wolfgang Ahrendt,Thomas Baar,Bernhard Beckert,Martin Giese,Elmar Habermalz,Reiner Hähnle,Wolfram Menzel,Peter H. Schmitt +7 more
TL;DR: This paper reports on the ongoing KeY project aimed at bridging the gap between object-oriented software engineering methods and tools and deductive verification with the use of a commercial CASE tool enhanced with functionality for formal specification and deductives verification.
74
Making metamodels aware of concrete syntax
Frédéric Fondement,Thomas Baar +1 more
- 07 Nov 2005
TL;DR: This paper proposes to define the concrete syntax of a language by an extension of the already existing metamodel of the abstract syntax, which describes the concepts of the language, with a second layer describing the graphical representation of concepts by visual elements.