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