Diplomarbeit: Visualisierung von Gegenbeispielen
Diplomarbeit: Visualisierung von Gegenbeispielen
Während der Modellprüfung können für fehlerhafte Modelle Gegenbeispiele automatisch generiert werden. Diese
Gegenbeispiele dienen der nachträglichen Verbesserung der Modelle und sind oft schwer nachzuvollziehen (relativ lang).
Aus diesem Grund ist eine Visualisierung geplant, um diese Gegenbeispiele im Bezug auf das Modell zu untersuchen.
Bei genügend Projektteilnehmer ist ggf. auch die Konstruktion der Modelle aus einer geeigneten/gängigen
kleinen Zwischensprache (gewonnen aus Java oder C-Quelltext) geplant.
Betreuer der Diplomarbeit
| Prof. Dr. Wolf Zimmermann | wolf.zimmermann@informatik.uni-halle.de | Raum 3.22, Tel. 0345-55-24712 |
| Dipl.-Inform. Andreas Both | andreas.both@informatik.uni-halle.de | Raum 3.21, Tel. 0345-55-24723 |
| Dipl.-Inform. Dirk Richter | dirk.richter@informatik.uni-halle.de | Raum 3.23, Tel. 0345-55-24767 |
Weitere Projekt- oder Diplomarbeitsthemen des Lehrstuhls können jederzeit bei einem der Mitarbeiter erfragt werden. Ebenso können Themen, das Forschungsgebiet betreffend, von Studenten vorgeschlagen werden.