Suche

Abschlussarbeiten (Bachelor, Master)


Der Lehrstuhl für Softwaretechnik (Prof. Dr. W. Reif) bietet eine Reihe interessanter Abschlussarbeiten an.

Safety und Security | Mechatronik und Robotik | Selbst-organisierende Systeme | Formale Methoden | Methoden der KI | Softwareengineering allgemein

Bereich Safety und Security:

Bei Interesse wenden Sie sich bitte an Dominik Haneberg.

Bereich Software in Mechatronik und Robotik:

Aktuelle Themen zu Abschlussarbeiten finden Sie in diesem Dokument. Für Details wenden Sie sich bitte an den entsprechenden Ansprechpartner.

Bei Interesse an weiteren Themen wenden Sie sich bitte an Alwin Hoffmann.

Bereich Selbst-organisierende Systeme

  1. Robuste Taskausführung für Ensembles
    (Masterarbeit)
    Ansprechpartner: Oliver Kosak
  2. Schwarmalgorithmen für Ensembles
    (Forschungs-/Projektmodul/Bachelorarbeit)
    Ansprechpartner: Oliver Kosak

Bei Interesse wenden Sie sich bitte an Hella Ponsar.

Bereich Methoden der KI

Bei Interesse wenden Sie sich bitte an Alexander Schiendorfer.

Bereich Formale Methoden

  1. Spezifikation / Verifikation Paralleler Algorithmen
    (Bachelor-/Masterarbeit, Forschungs-/Praxis-/Projektmodul)
    Ansprechpartner: Gerhard Schellhorn
  2. Integration vollautomatischer Techniken
    (Masterarbeit, Forschungs-/Praxis-/Projektmodul)
    Ansprechpartner: Stefan Bodenmüller oder Gerhard Schellhorn
  3. Nebenläufigkeit eines verifizierten Dateisystems (Verifikation)
    (Masterarbeit, Forschungs-/Praxis-/Projektmodul)
    Ansprechpartner: Stefan Bodenmüller oder Gerhard Schellhorn

Bereich Softwareengineering allgemein:

  1. Software-Engineering mit Scala (verschiedene Themen: Refactoring, Testfallgenerierung, etc.)
    (Bachelor-/Masterarbeiten, Praxis-/Projekt- und Forschungsmodule)
    Ansprechpartner: Gerhard Schellhorn oder Stefan Bodenmüller
  2. Entwicklung eines Editors für formale Spezifikationen
    (Bachelorarbeit, Praxis-/Projektmodul)
    Ansprechpartner: Stefan Bodenmüller
  3. Nebenläufigkeit eines verifizierten Dateisystems (Modellierung & Implementierung)
    (Praxis-/Forschungs-/Projektmodul)
    Ansprechpartner: Stefan Bodenmüller oder Gerhard Schellhorn