zu vergeben
- Implementierung eines High-End-Model Checkers
- Reverse-Engineering von Web-Anwendungen
- MagicDraw-Plugin zur Modellierung und Generierung von Web-Anwendungen
- Erweiterung der CASE-Tool-Unterstützung für Entwicklung von Web-Anwendungen
- Übersetzung der Modelltransformationssprache QVT in Graphersetzungssysteme
- Erstellung einer Methodenbibliothek zur Ansteuerung eines Interferometers
- Grafische Orchestrierung von OSGI-Komponenten
- Service-Updates in OSGI-Umgebungen
- Erweiterung des Programm-Model-Checkers Java-Pathfinder
- Adaptivität in Rich-Internet-Applications
- Studie über Baum-Differenz und -Merging-Algorithmen
- Übersetzung von Swing/SWT-Anwendungen nach Ajax
