Masterarbeiten
Die nachfolgenden Themen stellen einen kleinen Ausschnitt der Bandbreite vor, innerhalb derer in der AG Softwaretechnik Master- und Diplomarbeiten angefertigt werden können. Bei Interesse an diesen oder anderen Themen sprechen Sie uns bitte an; auch eigene Themenvorschläge sind willkommen, sofern sie in den Rahmen unseres Lehrangebots oder unserer Forschungsschwerpunkte passen.
Offene Themen
- The Antidote Database (several topics)
- Weakly consistent databases and correctness of applications (several topics)
- Enabling Analytical Queries over Relational Data Streams in Antidote
In Bearbeitung
- Strong Consistency in AntidoteDB
- Offline caching in web applications for AntidoteDB
Abgeschlossene Arbeiten (Auszug)
- Design and Implementation of an object-oriented mapping framework for the Antidote database
- Big Sets for Antidote (Luc François, 2017)
- Definition and Generation of Self-contained Digital Forms based on the OASP4JS Reference Architecture (Sebastian Fuchs)
- Mergeable Objects in Software Transactions
- Conflict-free Replicated Graph Data Type (Umamaheswari Gnanasambandam, 2015)
- Specification and Verification of Convergent Replicated Data Types (Peter Zeller, 2013, pdf)
- A Domain-Specific Language for UI-Naviation in Mobile Applications (Peter Reuter, 2013, pdf)
- Compliance Checking of Security Guidelines Using Static Code Analysis (Marc Hartung, 2013)
- Identifying and Checking Component Structures in Object-Oriented Programs (Max Bechtold, 2013)
- A Principle Language for Object-Oriented Design (Christian Rehn, 2013)
- Generating Boogie Verification Conditions for Backward Compatibility of Class Libraries (Mathias Weber, 2012)
- Verification of Software Architectures using Static Code Analysis for Java (Malte Brunnlieb, 2012)
- Data Binding for Schemata with Integrity Constraints and Atomic Procedures (Thomas Fischer, 2012)
- Specification and Analysis of Partition Properties in Java Programs (Florian Strauß, 2012)
- Specification and Generation of User Interfaces Based on Method-Oriented Dialog Flows (Artun Subasi, 2011)
- Implementation of a Type System for Object Immutability with Flexible Initialization (Günther Noack, DA, 2010): Proposal Thesis
- The Interceder: A Communication Framework to Monitor and Steer Distributed Virtual Engineering Applications (Dimo Maleshkov, DA, 2010)
- Automated Product Derivation for the CoCoME Software Product Line: From Feature Models to CoBoxes (Alexander Worret, 2009)
- Implementation of the !CoBox Model in Scala (Peter Wortmann, 2009)
- Entwicklung eines Algorithmus zur Approximation von Objektgraphen (Otmar Ginkel, DA, 2008)
- Ein starkes, syntaktisches Kriterium zum formalen Nachweis von Übersetzungskorrektheit (Christoph Feller, DA, 2008)
- WMC – A Compiler-Based Approach for Publishing Scientific Models on the Web (Markus Wörz, DA, 2008)
- A Model Repository for Collaborative Modeling with the Jazz Development Platform (Tim Schumann, DA, 2008)
- Grey-Box Specification and Runtime Testing of Object-Oriented Program Components (Yannick Welsch, 2008)
- Entwurf und Implementierung einer Abfragesprache für Bytecode-Analysen (Eduard Schimpf, DA, 2008)
- Specification and Algorithms of Constrained XML Documents (Patrick Michel, 2007)
- Strategien für Hoare-Logik-Beweiser (Jean-Marie Gaillourdet, 2006)
- Encapsulation and Specification of Object-Oriented Runtime Components (Jan Schäfer, DA, 2004)
- Verification of Java Card Applets (Anne Schultz, DA, 2003)
- Ein Java-basiertes Framework zur Implementierung interaktiver Lehrmaterialien (Markus Reitz, DA, 2003)
