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

• Colorimetry in Web Components
• Improving Error Message Readability for Programming Novices
• Skalierbare Verteilung und Leistungsauswertung von Antidote mit Kubernetes
• Design and Implementation of an object-oriented mapping framework for the Antidote database
• Implementierung von Listen-CRDTs in Erlang (Yassine Frikha, 2017)
• Implementation of a calendar app on a weakly consistent data store (Tim Dellmann, 2017)
• Specification for Map CRDT (Luc François, 2015)
• Ein Java Annotationsframework für parametrisierte Rollen (Michael Hohenstein, 2014)
• Dialect-specific 2-way structural XML-Merge (Steffen Holzer, 2014)
• Identification and Specification of User Interface Building Blocks (Fabian Kreis / Nico Himpele, 2014)
• Benutzerautorisierung in Informationssystemen mit parametrisierten Rollen (Sebastian Schweizer, 2013): Proposal
• Self-contained digital forms based on web browser technologies (Sebastian Fuchs, 2013)
• Eine leichtgewichtige Schnittstelle zwischen digitalen Formularen und heterogenen Datenbeständen (Mark Müller, 2013)
• Simplification of Safe Kleene Predicate Logic Formulas (Sebastian Wolff, 2012)
• Digital Structured Forms Supporting Flexible Workflows (Christian Fillibeck, 2012)
• Systematische Beschreibung und Werkzeugunterstützung textueller Produktlinien (Marc Dahlem, 2012)
• Modellierung einer Web-Applikation mit der Spezifikationssprache ABS (Peter Zeller, 2011)
• Untersuchung von öffentlichen Java-Schnittstellen auf nicht-öffentlich sichtbare Typen – Fallstudie (Mathias Weber, 2010) : Proposal (german)
• Entwicklung einer Katja/XML Schnittstelle (Thomas Fischer, 2010)
• Generierung der Services der Registerarchitektur (Florian Strauß, 2010)
• Realisierung des !CoBox-Modells in Java mittels Byte-Code-Rewriting (Arda Subasi, 2009)
• Generierung der Services der Registerarchitektur
• Design und Implementierung eines webbasierten Umfragesystems (Andreas Kaluza, 2009)
• Design and Implementation of a Java-based Layout-Framework for Active Documents employing Drools (Yann Massard, Projektarbeit, 2009)
• ‘HeRO 3D’: A Heavily Reuse Oriented 3D Framework (Alexander Worret, Projektarbeit, 2008)
• XML-based Representation and Analysis of .NET Assemblies (Artun Subasi, 2008)
• Design and Implementation of a Resource Management Application using Ajax Technologies (Michel Weimerskirch, 2007)
• Entwurf und Implementierung eines Eclipse-Plug-Ins für die Spezifikationssprache Katja (Eduard Schimpf, Projektarbeit, 2007)
• Entwicklung eines webbasierten Werkzeugs zur Analyse von Subversion-Repositories (Georg Westenberger, 2007)
• Portierung einer Java-Integer-Formalisierung von Isabelle2003 auf Isabelle2005 (Thomas Friedel, Projektarbeit, 2007)
• Using Boxes in Java Programming: An evaluation (Yannick Welsch, 2006)
• Static Guarantees for Algorithms on Constrained XML Documents (Patrick Michel, Projektarbeit, 2006)
• Configuration Systems in Desktop Environment Development Platforms (Darko Obradovic, Projektarbeit, 2006)
• Dynamic Reconfiguration for Java Programs (Mattias Nissler, Projektarbeit, 2006)
• Generation of term position algebras for Isabelle/HOL from order-sorted specifications using a modular generation framework (Jean-Marie Gaillourdet, Projektarbeit, 2005)

• 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)