Einige Informationen zum Ablauf/Vorgehen zu Bachelor- oder Masterarbeiten bei uns finden Sie unter https://fmidue.github.io/ba-ma-template/. Üblicherweise betreuen wir keine externen/industriellen Arbeiten. Bei Bachelorarbeiten werden in der Regel Inhalte der Lehrveranstaltung Programmierparadigmen vorausgesetzt. Arbeiten basierend auf allein der Lehrveranstaltung Modellierung (Erst- oder Zweitsemestervorlesung für Informatikstudierende) sind normalerweise nicht möglich, mindestens müssten zusätzlich sehr gute Kenntnisse in formaler Logik vorliegen.

Kürzliche und gegenwärtige Themen von Bachelorarbeiten (leider wird diese Seite nicht immer ganz zeitnah aktualisiert – einige als "offen" genannte Themen könnten also auch doch schon "reserviert" oder "in Bearbeitung" sein; auch ist unsere Betreuungskapazität begrenzt):

• Flexibilisierte Übungsaufgaben für E-Learning in der Logik [reserviert]
• Generieren von Übungsaufgaben zur Semantik der Prädikatenlogik [offen]
• Generieren von Übungsaufgaben zur Haskell-nach-Prolog Übersetzung [reserviert]
• Generieren von variantenreichen Übungsaufgaben zu Petrinetzen [reserviert]
• Ein Werkzeug zur Exploration des Zusammenhangs zwischen UML-Aktivitätsdiagrammen und Petrinetzen [reserviert]
• Automatische Code-Generierung aus UML-Zustandsdiagrammen für die Lehre [in Bearbeitung]
• Mining nach Term-Signaturen in praktischen Bibliotheken [beendet - Zweitprüferin Prof. Barbara König]
• Erzeugung von Freiform-/Text-Aufgaben in Autotool [beendet - Zweitprüfer PD Dr. Michael Striewe]
• Ein Werkzeug zur Exploration von UML-Zustandsdiagrammen [beendet - Zweitprüferin Prof. Barbara König]
• Generieren von Übungsaufgaben zu UML-Zustandsdiagrammen [beendet - Zweitprüferin Prof. Barbara König]
• Generieren von Übungsaufgaben zur Prädikatenlogik [beendet - Zweitprüferin Prof. Barbara König]
• Erzeugung von Multi-Level-Modellen mittels Haskell [beendet - Zweitprüfer Prof. Ulrich Frank]
• Generieren von Übungsaufgaben zur Syntax von logischen Formeln [beendet - Zweitprüferin Prof. Barbara König]
• Generieren von UML-Aktivitätsdiagrammen für Übungsaufgaben [beendet - Zweitprüferin Prof. Barbara König]
• Formalisierung von UML-Zustandsdiagrammen in Alloy [beendet - Zweitprüferin Prof. Barbara König]
• Parametrisierte Konfiguration von Haskell-Übungsaufgaben [beendet - Zweitprüfer Prof. Jens Krüger], ein Artikel dazu wurde auf ABP 2023 präsentiert
• Strukturelle Überprüfung und Generierung mathematischer Repräsentationen von UML-Zustandsdiagrammen [beendet - Zweitprüferin Prof. Barbara König]
• Ein Tool zum Mutations-Testen von Prolog-Übungsaufgaben [beendet - Zweitprüferin Prof. Barbara König], ein Artikel dazu wurde auf WLP 2022 präsentiert
• Automatische Generierung von Übungsaufgaben zu Operationen und Termen [beendet - Zweitprüferin Prof. Barbara König]
• Modellieren und Visualisieren von UML-Zustandsdiagrammen in Haskell [beendet - Zweitprüferin Prof. Barbara König]
• Kriteriengeleitete Erzeugung von Übungsaufgaben zur Aussagenlogik [beendet - Zweitprüferin Prof. Barbara König]
• Analyse von Übungsaufgaben zu Petrinetz-Konzepten [beendet - Zweitprüfer Prof. Ulrich Hoppe]
• Automatische Generierung von Übungsaufgaben zu Petrinetz-Konzepten mittels Alloy [beendet - Zweitprüferin Prof. Barbara König], ein Artikel dazu wurde auf MoHoL 2022 präsentiert
• Explorieren von Petrinetz-Konzepten durch Formalisierung in Alloy [beendet - Zweitprüferin Prof. Barbara König], ein Artikel dazu wurde auf MoHoL 2022 präsentiert
• Generierung von Übungsaufgaben für UML Klassen-/Objektdiagramme, durch Alloy-Modellinstanz-Finden [beendet - Zweitprüferin Prof. Maritta Heisel], ein Artikel dazu wurde auf SACLA 2019 präsentiert

Andere offene Themen eventuell auf Nachfrage. Bitte geben Sie Ihre spezifischen Interessen an, welche Vorkenntnisse Sie aus Vorlesungen mitbringen, etc.

Durch Studierende entwickelter Code aus vergangenen Abschlussarbeiten ist in mehrere unserer öffentlichen GitHub-Repositories eingeflossen, sowie in das allgemeine Autotool-Repository.

Weitere Informationen zu unseren eLearning-Aktivitäten finden sich hier.