Die nachfolgenden Themen stellen einen kleinen Ausschnitt der Bandbreite vor, innerhalb derer in der AG Softwaretechnik Masterarbeiten 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.

• Range query implementation for distributed key-value stores
• Persisting the AntidoteDB Cache: Design and Implementation of a Cache for a CRDT Datastore 
• JCollab - Collaboration Editing for Java Applications
• Static Type Checking For Erlang
• Adopting Random Slicing for Riak Core 
• Eventual Consistency in Financial Systems
• Minidote+: A Transactional CRDT Store for the Edge
• Design and Implementation of an object-oriented mapping framework for the Antidote database
• Big Sets for Antidote 
• Definition and Generation of Self-contained Digital Forms based on the OASP4JS Reference Architecture 
• Mergeable Objects in Software Transactions
• Conflict-free Replicated Graph Data Type
• Specification and Verification of Convergent Replicated Data Types ( pdf)
• A Domain-Specific Language for UI-Naviation in Mobile Applications (2013, pdf)
• Compliance Checking of Security Guidelines Using Static Code Analysis
• 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)