Seminar - Fortgeschrittene Techniken der Softwareverifikation

Seminar: Fortgeschrittene Techniken der Softwareverifikation (FTSV)

In diesem Seminar befassen Sie sich mit Themen zu den aktuellen Forschungsinhalten der Arbeitsgruppe Semantik und Verifikation paralleler System. Es werden sowohl klassische als auch aktuelle Forschungsarbeiten im Bereich Softwareverifikation (d.h. Model Checking, Programmanalyse, Testen, etc.) behandelt. Die Themen des aktuellen Seminars finden Sie hier.

Seminartermine im SS 2021

  • Erstes Treffen: 20.04.2021 Uhr via Zoom (Details im Moodle-Kurs)
  • Themenwahl: online über Moodle-Kurs bis zum 25.04.2021
  • Vorträge: TBA
  • Abgabetermine:
      • 16.05.2021 Abgabe der Papierstruktur
      • 02.06.2021 Abgabe Folienentwurf
      • 18.07.2021 Abgabe 1. Version der Ausarbeitung
      • 15.08.2021 Abgabe der finalen Ausarbeitung

Seminarthemen im SS 2021

Lerninhalte- und Ziele

Während des Seminars werden Sie unter Anleitung

  • sich auf Basis von vorgegebener und selbst gefundener, wissenschaftlicher Literatur in Ihr Thema einarbeiten
  • einen Vortrag über Ihr Thema vorbereiten und vor den anderen Teilnehmern halten, um mit ihnen anschließend über Ihr Thema zu diskutieren,
  • eine wissenschaftliche Ausarbeitung verfassen, die einen zusammenfassenden Überblick über Ihr Thema gibt.

Nach erfolgreichem Abschluss des Seminars können sich die Studierenden anhand von Ausgangsliteratur eigenständig in ein wissenschaftliches Thema einarbeiten und dieses Thema einem heterogenen Fachpublikum sowohl mündlich als auch schriftlich präsentieren.

Im Detail können die Studierenden Methoden zur Literaturrecherche anwenden und die Relevanz von gefundener Literatur beurteilen. Sie können den wesentlichen Inhalt einer wissenschaftlichen Veröffentlichung ermitteln und diesen kritisch beurteilen. Außerdem sind sie in der Lage verschiedene wissenschaftliche Arbeiten miteinander zu vergleichen. In einem mündlichen Vortrag können die Studierenden ihr Thema und ihre Ergebnisse einem heterogenen Fachpublikum erklären und ihre Ergebnisse vor diesem Publikum verteidigen. Zusätzlich können die Studierenden in einer schriftlichen Ausarbeitung ihr Thema und ihre Ergebnisse beschreiben.

Vorkenntnisse

Empfohlen. Informatik- und Mathematikkenntnisse entsprechend den ersten 4 Semestern des Bachelorstudiengangs Informatik

Hilfreich. Besuch einer Veranstaltung des Fachgebietes Semantik und Verifikation paralleler Systeme

Seminarthemen vergangener Semester

Seminarthemen im WS 2020/21

Seminarthemen im SS 2020

Seminarthemen im WS 2019/20