Diplomarbeiten
Ausgeschrieben
- Übersetzung von Swing/SWT-Anwendungen nach Ajax (Wirsing/Zhang/Mayer)
- Studie über Baum-Differenz und -Merging-Algorithmen (Wirsing/Zhang)
- Adaptivität in Rich-Internet-Applications (Knapp/Zhang)
- Erweiterung des Programm-Model-Checkers Java-Pathfinder (Knapp/Zhang/Hammer)
- Grafische Orchestrierung von OSGI-Komponenten (Wirsing/Mayer)
- Service-Updates in OSGI-Umgebungen (Wirsing/Koch/Mayer)
- Reverse Engineering von Web-Anwendungen (Knapp/Zhang)
- MagicDraw-Plugin zur Modellierung und Generierung von Web-Anwendungen (Knapp/Koch/Schroeder)
- Erweiterung der CASE-Tool-Unterstützung für Entwicklung von Web-Anwendungen (Knapp/Koch/Schroeder)
- Übersetzung der Modelltransformationssprache QVT in Graphersetzungssysteme (Knapp/Zhang)
- Hyena – Verwalten und Verlinken von heterogenen Daten (Wirsing/Rauschmayer)
- Erstellung einer Methodenbibliothek zur Ansteuerung eines Interferometers (Wirsing/Gemperlein/Barth)
- Entwicklung eines Soft-Constraint-Solvers in Java (Wirsing/Hölzl)
- Verschiedene Diplomarbeiten in Zusammenarbeit mit EADS (Wirsing/Hölzl)
- Verschiedene Diplomarbeitsthemen im industriellen Umfeld (Hennicker)
- Abstraktion von UML-Modellen für das Model Checking (Knapp/Hammer)
- Java-Bytecodeanalyse zur Extraktion von abstrakten Modellen (Knapp/Hammer)
In Bearbeitung
- Implementierung eines High-End-Model Checkers(Knapp/Hammer)
- Ontologiebasierte Entwicklung und Akzeptanzförderung einer Intranet Infrastruktur (Hennicker, Domansky, Jeske)
- Analyse, Design und Implementierung eines servicebasierten E-Learning Systems (Wirsing/Hölzl)
- Situationserkennung im Kontext unsicherer Informationen (Hennicker, Berger)
- Business Process Design: Analyse und Design eines integrativen Ansatzes mit Aris und OlivaNova (Wirsing/Koch/Kimpel(Integranova))
- Entwicklung eines Wikis in Java/Spring (Wirsing/Hammer/Hölzl)
- Datenbank-Schema-Migrationen in Hibernate (Wirsing/Schroeder/Schönfeld(Bitaro))