Themen für Bachelor-, Projekt- und Masterarbeiten

Bei den genannten Themen handelt es sich um Vorschläge. Wenn Sie an der Bearbeitung eines Themas interessiert sind, wenden Sie sich bitte an den entsprechenden Ansprechpartner. Wenn Sie einen eigenen Themenvorschlag haben sprechen Sie uns an.

Titel	Betreuer
Parallelisierung von ProB mit OSS (Details)	Jens Bendisposto
Testabdeckungsanalyse in Prolog (Details)	Daniel Plagge
Visualisierung von LTL-Gegenbeispielen (in Java/Eclipse) (Details)	Daniel Plagge
Effiziente Erkennung ähnlicher Sequenten (Details)	Stefan Hallerstede
Deklarative Programmierung eines Generators für Beweisobligationen (Details)	Stefan Hallerstede
Mac OS X Anpassungen für ProB oder Prolog (Details)	Michael Leuschel
LTL Muster für ProB (Details)	Michael Leuschel, Jens Bendisposto, Daniel Plagge
ProB für neue Sprachen (Details)	Michael Leuschel
Validation von B-Motion Studio (Details)	Jens Bendisposto
Ein Interaktiver Formel Evaluator für ProB (Details)	Michael Leuschel
Analyse von ProB Log Dateien (Details)	Michael Leuschel
Vergleich von Alloy/Kodkod und ProB (Details)	Michael Leuschel, Daniel Plagge
Evaulierung des ProB-Rodin Disprovers (Details)	Michael Leuschel, Michael Jastram
Konzepte für Team Based Development in Eclipse (Details)	Jens Bendisposto
Building und Continuous Integration Testing für eine Eclipse RCP Anwendung (Details)	Jens Bendisposto
Anpassung von Nauty (Projektarbeit) (Details)	Michael Leuschel

Eine Liste der bereits fertiggestellten Arbeiten finden Sie hier