direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Diplom-, Bachelor- und Master-Arbeiten bei TFS: Archiv

2013

 

Lai, Huu Loi Entwicklung einer Werkzeugumgebung zur Visualisierung und Analyse komplexer EMF-Modelltransformationssysteme in Henshin
Diplom-Arbeit, TU Berlin, 2013. Betreuung: C. Ermel, F. Hermann.

 

2012

 

Binanzer, Daniel Konzeption und Implementierung eines Werkzeugs zur Konfliktanalyse von EMF-Modelltransformationen mit Tripelgraphgrammatiken
Bachelor-Arbeit, TU Berlin, 2012. Betreuung: C. Ermel, F. Hermann.

 

Pascal, Marcus Konzeption und Implementierung eines Werkzeugs zur Rekonfiguration von algebraischen High-Level-Netzen
Diplom-Arbeit, TU Berlin, 2012. Betreuung: C. Ermel, T. Modica.

 

2011

 

Lingnau, Pascal Algebraic Approach to Timed Petri Nets with Applications to Communication Networks
Diplom-Arbeit, TU Berlin, 2011. Betreuung: K. Gabriel, T. Modica, C. Ermel.

 

Merkle, Alexander Modellierung von Agentensystemen mit Algebraischen High-Level-Netzen
Bachelor-Arbeit, TU Berlin, 2011. Betreuung: K. Hoffmann, J. Padberg.

 

Gottmann, Susann und Nachtigall, Nico Modelling the Living Place Project using Algebraic Higher-Order Nets
Diplomarbeit, TU Berlin, 2011. Betreuung: K. Hoffmann, J. Padberg.

 

Maximova, Maria Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories
Diplomarbeit, TU Berlin, 2011. Betreuung: H. Ehrig, U. Golas.

 

2010

 

Shareef, Sarkaft Formal Modelling and Analysis of Recongurable Object Nets Based on the RON Editor
Diplomarbeit, TU Berlin, 2010. Betreuung: C. Ermel, F. Hermann.

 

Fischer, Winzent Entwicklung einer Werkzeugumgebung für Algebraische High-Level Netze mit Anwendung auf ein Szenario zur Einsatzsteuerung bei der Berliner Feuerwehr
Diplomarbeit, TU Berlin, 2010. Betreuung: C. Ermel, E. Biermann.

 

Warning, Angeline Entwicklung eines visuellen Editors für Anwendungsbedingungen und amalgamierte Regeln zur Flexibilisierung von EMF-Modelltransformationen
Diplomarbeit, TU Berlin, 2010. Betreuung: C. Ermel, E. Biermann.

 

Klujs, Olegs Concept and Implementation of an Application Environment for Model Transformations Based on Triple Graph Grammars and Mathematica
Diplomarbeit, TU Berlin, 2010. Betreuung: F. Hermann.

 

Schmidt, Johann Entwicklung eines visuellen Editors zur Steuerung von EMF-Modelltransformationen
Bachelorarbeit, TU Berlin, 2010. Betreuung: C. Ermel, E. Biermann.

 

Mattick, Lydia Comparison of Mobile Elementary Object Systems with Algebraic Higher Order Nets
Bachelorarbeit, TU Berlin, 2010. Betreuung: H. Ehrig, K. Hoffmann, J. Padberg.

 

Gall, Jürgen und Kührmann, Alexander Konzeption und Implementierung einer Analysekomponente zur Konflikt- und Abhängigkeitsanalyse von Aktivitäten basierend auf Aktivitätendiagrammen und getypter Graphtransformation
Bachelorarbeit, TU Berlin, 2010. Betreuung: C. Ermel, L. Lambers.

 

2009

 

Gabriel, Karsten Composition and Transformation of High Level Petri Net-Processes
Diplomarbeit, TU Berlin, 2009. Betreuung: K. Hoffmann, J. Padberg.

 

Wunderlich, Hanno Konsistenzanalyse von verfeinerten UseCase-Modellen mit Hilfe von Graphtransformationen
Diplomarbeit, TU Berlin, 2009. Betreuung: L. Lambers, C. Ermel.

 

Sartorius, Christoph Model Transformations based on Triple Graph Grammars with Negative Application Conditions
Diplomarbeit, TU Berlin, 2009. Betreuung: F. Hermann.

 

Adamek, Jochen Konzeption und Implementierung einer Anwendungsumgebung für attributierte Graphtransformation basierend auf Mathematica
Diplomarbeit, TU Berlin, 2009. Betreuung: F. Hermann.

 

Hurrelmann, Jonas Generation of Simulation Environments based on EMF Model Transformations
Diplomarbeit, TU Berlin, 2009. Betreuung: C. Ermel, E. Biermann.

 

Sylopp, Peggy Konzeption und Implementierung von Analysetechniken für rekonfigurierbare Objektnetze
Diplomarbeit, TU Berlin, 2009. Betreuung: T. Modica, C. Ermel.

 

Ospina, Gabriela Consistent Rule-based Modeling: Validation of Applicability Criteria for Rule Sequences
Diplomarbeit, TU Berlin, 2009. Betreuung: L. Lambers.

 

Trollmann, Frank Modeling Emergency Scenarios using Algebraic Higher Order Nets
Diplomarbeit, TU Berlin, 2009. Betreuung: K. Hoffmann.

 

2008

 

Ullrich, Conny Reconfigurable Open AHL Systems
Diplomarbeit, TU Berlin, 2008. Betreuung: J. Padberg.

 

Rein, Alexander Reconfigurable Petri Systems with Negative Application Conditions
Diplomarbeit, TU Berlin, 2008. Betreuung: J. Padberg, L. Lambers.

 

Shen, Yi Verifikation von Echtzeit-Architekturen
Diplomarbeit, TU Berlin, 2008. Betreuung: U. Prange, M. Werner.

 

Gortner, Jonas Termination Analysis of Model Transformations by Petri Nets
Diplomarbeit, TU Berlin, 2008. Betreuung: U. Prange.

 

Tischer, Björn  Entwicklung eines Editorgenerators für komplexe Diagrammsprachen basierend auf der Eclipse-Technologie
Diplomarbeit, TU Berlin, 2008. Betreuung: C. Ermel, E. Biermann.

 

2007

 

Brick, Sebastian  Strukturierte Definition und Generierung graphischer Editoren basierend auf der Eclipse-Technologie
Diplomarbeit, TU Berlin, 2007. Betreuung: C. Ermel, E. Biermann.

 

Jud, Antje  Präzise Syntaxdefinition einer Modellierungstechnik für
Infotainment-Systeme

Diplomarbeit, TU Berlin, 2007. Betreuung: G. Taentzer, B. Braatz.

 

Mirocinic, Tatjana  Modellierung eines Aufgabenplanungs- und
-verwaltungssystems von klinisch-pharmakologischen Experimenten

Diplomarbeit, TU Berlin, 2007. Betreuung: G. Taentzer, B. Braatz.

 

Lewin, Holger Integration of Object-oriented Behaviour-modelling Techniques
Diplomarbeit, TU Berlin, 2007. Betreuung: H. Ehrig, B. Braatz.

 

Crema, André und Schmutzler, René  Konzeption und Implementierung einer Erweiterung des Eclipse Graphical Modeling Framework um komplexe Editieroperationen
Diplomarbeit, TU Berlin, 2007. Betreuung: G. Taentzer, K. Ehrig.

 

2006

 

Graf, Dennis  Evolutionäres Layout von Graphsequenzen unter Nutzung von anwendungsspezifischem Wissen
Diplomarbeit, TU Berlin, 2006. Betreuung: G. Taentzer, S. Jucknath.

 

Koehler, Christian  A Visual Model Transformation Environment for the Eclipse Modeling Framework
Diplomarbeit, TU Berlin, 2006. Betreuung: G. Taentzer, K. Ehrig.

 

Biermann, Enrico und Kuhns, Günter  Konzeption und Implementierung einer regelbasierten Transformationskomponente für das Eclipse Modeling Framework
Diplomarbeit, TU Berlin, 2006. Betreuung: G. Taentzer, K. Ehrig.

 

Modica, Tony  Eine attributierte getypte Graphgrammatik zum syntaxgesteuerten Editieren von UML State Machines
Diplomarbeit, TU Berlin, 2006. Betreuung: G. Taentzer, B. Braatz.

 

2005

 

Weiss, Eduard  Konzeption und Implementierung einer Entwicklungsumgebung für visuelle Sprachen
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer, K. Ehrig.

 

Hermann, Frank  A Typed Attributed Graph Grammar for Syntax-Directed Editing of UML Sequence Diagrams
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer, B. Braatz.

 

Hänsgen, Stefan  Konzeption und Implementierung eines Generators für visuelle Sprachumgebungen in Eclipse basierend auf Graphtransformationen
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer, K. Ehrig.

 

Winkelmann, Jessica  Spezifikation von VisualOCL: Eine Visualisierung der Object Constraint Language
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer.

 

Karwan, Bozena  Konzeption und Implementierung eines Interpreters für amalgamierte Graphtransformation
Diplomarbeit, TU Berlin, 2005. Betreuung: G. Taentzer, O. Runge.

 

2004

 

Prange, Ulrike  Confluence of Adhesive HLR-Systems with Applications to Typed Attributed Graph Transformation
Diplomarbeit, TU Berlin, 2004. Betreuung: G. Taentzer. H. Ehrig.

 

Kniep, Andreas Rayo Modelling Object-Oriented Systems by Transformation Systems
Diplomarbeit, TU Berlin, 2004. Betreuung: H. Ehrig, G. Taentzer, B. Braatz.

 

Schneider, Jörg  Ablaufvorhersage für verteilte Programme mit Hilfe von Graphtransformationen
Diplomarbeit, TU Berlin, 2004. Betreuung: G. Taentzer.

 

Bogen, Jane  Schrittweise Entwicklung von Ereignisgesteuerten Prozessketten zu Algebraischen Higher-Order-Netzen
Diplomarbeit, TU Berlin, 2004. Betreuung: J. Padberg, K. Hoffmann.

 

Kiesner, Christiane  Modellierung eines medizinischen Informationssystems mit Algebraischen Higher-Order-Netzen
Diplomarbeit, TU Berlin, 2004. Betreuung: J. Padberg, K. Hoffmann.

 

2003

 

 Piirainen, Martii  Applications of a Generic Component Framework to a UML Case Study in Production Automation
Diplomarbeit, TU Berlin, 2003. Betreuung: H. Ehrig, F. Orejas.

 

Ozhan, Mesut  Konzeption und Metadaten für die Evolution komponentenbasierter Systeme
Diplomarbeit, TU Berlin, 2003. Betreuung: H. Ehrig, R. Kutsche.

 

Ehrig, Karsten Konzeption und Implementierung eines Generators für Animationsumgebungen für visuelle Modellierungssprachen
Diplomarbeit, TU Berlin, 2003. Betreuung: G. Taentzer, C. Ermel.

 

2002

 

Braatz, Benjamin  Integration of Heterogeneous Modelling Techniques using High-Level Constraints
Diplomarbeit, TU Berlin, 2002. Betreuung: H. Ehrig, F. Orejas.

 

Klein, Markus  A Component Concept for Szstem Modelling Based on High-Level Replacement Transformations
Diplomarbeit, TU Berlin, 2002. Betreuung: H. Ehrig, F. Orejas.

 

Parnitzke, Daniel  On Formal Semantics of Object Systems with Data and Object Attributes
Diplomarbeit, TU Berlin, 2002. Betreuung: M. Große-Rhode, S. John.

 

Neumann, Mischa  Computerunterstützte Analyse von Designentscheidungen in UML-Modellen durch XML-basierte Werkzeugkooperation zwischen CASE Tools
Diplomarbeit, TU Berlin, 2002. Betreuung: G. Taentzer.

 

Ahmad Ramin Tavakoli Kolagari  Transformation of Open and Algebraic High-Level Petri Nets Classes
Diplomarbeit, TU Berlin, 2002. Betreuung: M. Urbasèk, G. Taentzer.

 

2001

 

Matz, Michael  Konzeption und Implementierung eines Konsistenznachweisverfahrens für attributierte Graphtransformation
Diplomarbeit, TU Berlin, 2001. Betreuung: G. Taentzer.

 

Weinhold, Ingo  Konzeption und Implementierung eines Generators für Simulationsumgebungen
Diplomarbeit, TU Berlin, 2001. Betreuung: R. Bardohl.

 

Tenzer, Jennifer  Formale Semantik von UML-Klassendiagrammen
Diplomarbeit, TU Berlin, 2001. Betreuung: M. Große-Rhode.

 

Tsiolakis, Aliki  Semantic Analysis and Consistency Checking of UML Sequence Diagrams
Diplomarbeit, TU Berlin, 2001. Betreuung: M. Große-Rhode.

 

Schultzke, Thorsten  Entwicklung und Implementierung eines Parsers für visuelle Sprachen basierend auf kritischer Paaranalyse
Diplomarbeit, TU Berlin, 2001. Betreuung: G. Taentzer, R. Bardohl.

 

2000

 

Grigoriu, Liliana  Transformation System Semantics and Compositionality of Algebraic Petri Nets
Diplomarbeit, TU Berlin, 2000. Betreuung: M. Große-Rhode.

 

Kurt, Murat  Konzeption und Implementierung einer Kontrollkomponente für attributierte Graphersetzung
Diplomarbeit, TU Berlin, 2000. Betreuung: G. Taentzer, S. Gruner.

 

1999

 

Ackermann, Kai  Entwurf und Implementierung eines Frameworks f¨ur verteilte Objektsysteme mit Anwendung auf einen Interpreter f¨ur verteilte Graphtransformation
Diplomarbeit, TU Berlin, 1999. Betreuung: G. Taentzer.
master thesis and appendix: API

 

Battke, Anne  Algebraic Presentation of Process Notions in Petri Nets
Diplomarbeit, TU Berlin, 1999. Betreuung: J. Padberg.

 

 Niemann, Magnus  Konzeption und Implementierung eines generischen Grammareditors f"ur visuelle Sprachen
Diplomarbeit, TU Berlin, 1999. Betreuung: R. Bardohl.

 

Schwarze, Manuel  Konzeption und Implementierung eines generischen Alphabeteditors f"ur visuelle Sprachen
Diplomarbeit, TU Berlin, 1999. Betreuung: R. Bardohl.

 

John, Sebastian Zur kompositionalen Semantik von objekt-orientierten Statecharts
Diplomarbeit, TU Berlin, 1999. Betreuung: M. Große-Rhode, U. Wolter.

 

 Schiller, Patricia Application of Petri Net Techniques: Modelling a Railway Level Crossing
Diplomarbeit, TU Berlin, 1999. Betreuung: J. Padberg.

 

Schröter, Gunnar Algebraische Modelle für CCS
Diplomarbeit, TU Berlin, 1999. Betreuung: U. Wolter.

 

Ringwelski, Georg Spezifikation partieller Algebren höherer Ordnung und die Semantik funktionaler Programme
Diplomarbeit, TU Berlin, 1999. Betreuung: U. Wolter.

 

1998

 

Hoffmann, Kathrin Structural Compatibility in Petri Nets: Morphisms and Categories of Nets
Diplomarbeit, TU Berlin, 1998. Betreuung: J. Padberg.

 

Roock, Alexander Visuelles Design eines verteilten Filemanagers mit Graphtransformation
Diplomarbeit, TU Berlin, 1998. Betreuung: G. Taentzer.

 

Melamed, Boris Design and Implementation of an Attribute Manager for Conditional and Distributed Graph Transformation
Diplomarbeit, TU Berlin, 1998. Betreuung: G. Taentzer.

 

1997

 

Schlenker, Karsten Konzeption und Implementierung eines Graphikeditors zur Manipulation komplexer Strukturen
Diplomarbeit, TU Berlin / FHTW Berlin, 1997. Betreuung: G. Taentzer, R. Bardohl, Prof. Fortenbach (FHTW).

 

Rennecke, Klaus Konzeption und Implementierung einer um Geometrie und zeitliches Verhalten dekorierten Graphtransformation zur syntaktischen Bilderzeugung und Animation von Graphtransformation
Diplomarbeit, TU Berlin, 1997. Betreuung: G. Taentzer, J. Müller.

 

Rudolf, Michael  Konzeption und Implementierung eines Interpreters für attributierte Graphtransformation
Diplomarbeit, TU Berlin, 1997. Betreuung: G. Taentzer.

 

Melamed, B. Grundkonzeption und -implementierung einer Attributkomponente für ein Graphtransformationssystem
Studienarbeit, TU Berlin, 1997. Betreuung: G. Taentzer.

 

1996

 

Koch, Manuel  Modellierung und Nachweis der Konsistenz von verteilten Transaktionsmodellen für Datenbanksysteme mit algebraischen Graphgrammatiken
Diplomarbeit, TU Berlin, 1996. Betreuung: G. Taentzer, R. Heckel.

 

 

em>Rudolf, Michael  Konzeption und Implementierung grundlegender Aspekte der Ableitungskomponente eines Graphtransformationssystems
Studienarbeit, TU Berlin, 1996. Betreuung: G. Taentzer.

 

Ermel, Claudia  Anforderungsanalyse eines medizinischen Informationssystems mit Algebraischen High-Level-Netzen
Diplomarbeit, TU Berlin, 1996. Betreuung: J. Padberg.

 

Gajewsky, Magdalena Kombination von stochastischen Prozessalgebren mit Phasentyp-Verteilungen
Diplomarbeit, TU Berlin, 1996. Betreuung: R. German.

 

Madani, Roya Ein allgemeiner Ansatz zur formalen zustandsorientierten Spezifikation von Entity--Relationship--Modellen
Diplomarbeit, TU Berlin, 1996. Betreuung: M. Große-Rhode.

 

Wunsch, Matthias Die Rolle des Konstruktionsbegriffs im Verhältnis von formalen Spezifikationskalkülen und intuitionistischer Mathematik
Diplomarbeit, TU Berlin, 1996. Betreuung: M. Große-Rhode.

 

Nitsche, Thomas Beweismethoden für statische und dynamische Eigenschaften von Eiffel--Klassendefinitionen durch Transitionsspezifikationen
Diplomarbeit, TU Berlin, 1996. Betreuung: M. Große-Rhode.

 

Chnaider, Leonid  Parametric Partial Algebraic Specifications with Gentzen Formulas
Diplomarbeit, TU Berlin, 1996. Betreuung: U. Wolter.

 

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe