| ||||||||||||||||||||
Studien- und Diplomarbeiten
Ausgeschriebene Themen
- Aufgabenmodellierung und Anwendungen
- Spezifikation von interaktiven Systemen
- Themenkomplex Model Checking und symbolische Simulation
- Language Processing Toolbox
- Refactoring
- Aspekt-Orientiertes Programmieren (AOP)
- Slicing für logische Programme
- Andere Gebiete