Lehrende: Prof. Dr. rer. nat. Reiner Hähnle
Veranstaltungsart: Oberseminar
Orga-Einheit: FB20 Informatik
Anzeige im Stundenplan: SEFM
Fach:
Anrechenbar für:
Semesterwochenstunden: 2
Unterrichtssprache: Englisch
Min. | Max. Teilnehmerzahl: - | -
Lehrinhalte: In dem Oberseminar berichten Mitarbeiter und Gäste des FG Software Engineering über ihre aktuelle Forschung und deren Ergebnisse. Des weiteren präsentieren Studierende, die am FG Software Engineering ihre Bachelor- oder Massenarbeit schreiben regelmäßig ihre Ergebnisse
Voraussetzungen: Wissen in den Bereichen: Logik, Programmverifikation und -spezifikation, Modellierung und formale Spezifikation verteilter Systeme