Forschungsthemen
[DA] Verifikation von UML-Analysemodellen für die universitäre Ausbildung
Objektorientierte Analyse mit Hilfe der UML (Unified Modeling Language) ist Gegenstand der Softwaretechnologie-Grundlagenausbildung an der TU Dresden. Studierende erlernen am Beispiel von Klassen- und Zustandsdiagrammen die Methodik der statischen und dynamischen Modellierung von Softwaresystemen. Die Korrektur von Klassen- und Zustandsmodellen von Hunderten von Studenten ist dabei für die Tutoren eine sehr aufwendige Angelegenheit. Es ist deshalb ein Ansatz gesucht, Übungsaufgaben weitgehend automatisch zu verifizieren. Entsprechende Programme sollen entwickelt und in die Umgebung des Praktomaten (praktomat.inf.tu-dresden.de) integriert werden. Dabei ist es ausdrücklich erwünscht, ggf. vorhandene Tools wiederzuverwenden oder an die universitären Randbedingungen anzupassen.
Betreuer: Birgit Demuth