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

Retrieved from "http://www.formal-methods.de/w/Thesis"