Thesis

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
Testfall-Generator für ReqIF-Modelle Michael Jastram
Parallelisierung von ProB mit OSS Jens Bendisposto
Effiziente Erkennung ähnlicher Sequenten Stefan Hallerstede
Deklarative Programmierung eines Generators für Beweisobligationen Stefan Hallerstede
Mac OS X Anpassungen für ProB oder Prolog Michael Leuschel
LTL Muster für ProB Michael Leuschel, Jens Bendisposto, Daniel Plagge
ProB für neue Sprachen Michael Leuschel
Ein Interaktiver Formel Evaluator für ProB Michael Leuschel
Analyse von ProB Log Dateien Michael Leuschel
Vergleich von Alloy/Kodkod und ProB Michael Leuschel, Daniel Plagge
Evaluierung des ProB-Rodin Disprovers Michael Leuschel, Michael Jastram
Anpassung von Nauty (Projektarbeit) Michael Leuschel
Mitentwicklung eines Werkzeuges zur Bearbeitung von Anforderungen Michael Jastram
Ein 2-D Viewer für ProB und Eclipse Michael Leuschel, Jens Bendisposto
Ein Profiler für SICStus Prolog Michael Leuschel
ProB und BParser für Event-B und Atelier-B Michael Leuschel, Jens Bendisposto, Daniel Plagge
ProB für PO Dateien von Atelier-B Michael Leuschel, Daniel Plagge
ProB Virtual Machine Daniel Plagge
Interaktive Konsole für Prädikatenlogik in Eclipse Daniel Plagge
Magic Layout für ProB Michael Leuschel
Einbindung des Atelier B Parsers in ProB Michael Leuschel
Prüfungsordnung in B Michael Leuschel
Clustering für Zustandsräume Michael Leuschel