Benjamin Braatz
Faculty IV
| 16/01/2006 | TFS Research Colloquium A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems |
| Slides Slides (4up) | |
| 02/04/2006 | GT-VMT 2006 Workshop A Rule-Based, Integrated Modelling Approach for Object-Oriented Systems |
| Slides Slides (4up) | |
| 29/05/2006 | TFS Research Colloquium Adhesive HLR Transformation Systems |
| Slides Slides (4up) | |
| 10/09/2006 | SeGraVis Advanced School on Visual Modelling Techniques Adhesive HLR Transformation Systems |
| Slides Slides (4up) Abstract | |
| 03/10/2006 | MPM 2006 Workshop An Integration Concept for Complex Modelling Techniques |
| Slides Slides (4 up) |
| 09/04/2005 | FESCA 2005 Workshop Object-Oriented Connector-Component Architectures |
| Slides Slides (4up) | |
| 28.04.2005 | TFS-Forschungskolloquium Konzeption eines integrierten Spezifikations- und Entwicklungs-Prozesses für objekt-orientierte Systeme |
| Folien Folien (4up) | |
| 22/07/2005 | Seminar "Fundamentals of Algebraic Graph Transformation" Local Church-Rosser, Parallelism and Concurrency |
| Slides Slides (4up) |
| 03/06/2004 | TFS Research Colloquium Semantical Consistency Checks for Object-Oriented Viewpoint Specification Techniques |
| Slides Slides (4up) | |
| 27.09.2004 | Kolloquium des DFG-Schwerpunktprogramms
"Software-Spezifikation" Eine integrierte Methode zur objektorientierten Steuerungsentwicklung |
| Folien Folien (4up) | |
| 25/11/2004 | TFS Research Colloquium Semantical and Syntactical Consistency Conditions for Object-Oriented Viewpoint Specification Techniques |
| Slides Slides (4up) |
| 22.05.2003 | Graphgrammatik-/Petrinetz-AG Semantiken für Statecharts |
| Folien Folien (4up) | |
| 12.06.2003 | TFS-Forschungskolloquium Auf dem Weg zu einer integrierten formalen Semantik für Teile der UML |
| Folien Folien (4up) | |
| 20.11.2003 | Kolloquium des DFG-Schwerpunktprogramms
"Software-Spezifikation" Semantische Konsistenz objekt-orientierter Viewpoint-Spezifikationen |
| Folien Folien (4up) |
| 06/06/2002 | TFS Research Colloquium Transformation-Based Component Concept and Integrated Modelling Techniques |
| Slides Slides (4up) |
