Lehrende: Prof. Dr. rer. nat. Reiner Hähnle; Dr. rer. nat. Richard Bubel; M.Sc. Martin Hentschel; Ph. D. Radu Muschevici; M.Sc. Dominic Steinhöfel
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