Seminar: Spezielle Themen zu Softwaresystemen

Zielgruppe und Verwendbarkeit

• Studierende im Master-Studiengang Informatik (Ordnung ab WS 2015/16): Veranstaltungsnummer SIW-I-S, verwendbar in den Modulen M-SIW-HSA-S (SIW-Seminar A) und M-SIW-HSB-S (SIW-Seminar B)
• Studierende im Master-Studiengang Wirtschaftsinformatik: verwendbar im Vertiefungsbereich Informatik

Inhalt und Themen

Spezielle Forschungsthemen aus dem Bereich der funktionalen Programmierung. Im Seminar wurden aktuelle Forschungsarbeiten aus den Bereichen der funktionalen Programmierung, der formalen Programmsemantik und der Korrektheit von Übersetzungen behandelt.

Ausarbeitung und Vortrag

Das Bestehen des Seminars setzte eine akzeptierte Ausarbeitung zum eigenen Seminarthema (im Umfang von ca. 15 DIN-A4-Seiten) und einen akzeptierten Vortrag (im Umfang von ca. 60 Minuten inklusive Diskussion) voraus.

Ort und Zeit

Das Seminar fand als Blockseminar am Ende der Vorlesungszeit des Sommersemesters 2018 statt. Die Vorträge wurden am Mittwoch, den 4. Juli 2018, im Seminarraum 11 (Robert-Mayer-Str. 11–15) gehalten.