Bachelor-, Master-, Projekt- und Diplomarbeiten

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

Offene Arbeiten

Bachelor- und Projektarbeiten

• Implementierung eines dynamischen Komponenten-Modells mit Hilfe von Klassenladern
• Entwicklung einer Katja/XML Schnittstelle

Master- und Diplomarbeiten

• Erweiterung von Java um architektonische Konzepte (in Kooperation mit Capgemini sd&m)
• Entwurf und Entwicklung einer Laufzeitumgebung für Java mit Boxen

In Bearbeitung

Bachelor und Projektarbeiten

• Analyse von öffentlichen Java-Schnittstellen auf nicht-öffentlich sichtbare Typen

Master- und Diplomarbeiten

• Implementation of a Type System for Object Immutability with Flexible Initialization

Abgeschlossene Arbeiten (Auszug)

Bachelor und Projektarbeiten

• Portierung einer Java-Integer-Formalisierung von Isabelle2003 auf Isabelle2005
• Ein Compilerfrontend mit Korrektheitsgarantie

Master- und Diplomarbeiten

• Implementierung des CoBox-Modells in Scala
• Weiterentwicklung eines Eclipse-Plugins zur Analyse und Darstellung der Laufzeitstruktur von Java-Programmen