David Sabel


Computer Scientist


Home Research Publications Talks Teaching Software

Seminar: Spezielle Themen zu Softwaresystemen

Aktuelles
  • Die Themenliste ist wurde aktualisiert (Thema 7 neu hinzugefügt).
  • Die Themenliste ist verfügbar.
  • Die Anmeldung zum Seminar findet über die zentrale Einschreibung zu den Seminaren im Sommersemester 2017 statt. Beachten Sie die Einschreibefrist vom 27. Januar 2017 bis 10. März 2017, 23.59 Uhr.
  • Für angemeldete TeilnehmerInnen findet eine Vorbesprechung samt Themenvergabe am 20.04.2017 in Seminarraum 11 (Robert-Mayer-Str. 11-15) um 16 s.t. statt. Die Teilnahme an der Vorbesprechung ist dringend erforderlich.
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 werden aktuelle Forschungsarbeiten aus den Bereichen der funktionalen Programmierung, der formalen Programmsemantik, und im Bereich der Korrektheit von Übersetzungen behandelt. Eine Themenliste ist hier verfügbar.
Ausarbeitung und Vortrag
Das Bestehen des Seminars setzt 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 findet als Blockseminar am Ende der Vorlesungszeit des Sommersemesters statt. Eine Terminabsprache mit den Teilnehmenden wird im Rahmen der Vorbesprechung am 20. April stattfinden.
LaTeX-Vorlage für die Ausarbeitung
(c) 2018 PD Dr. David Sabel, Imprint, Privacy Policy Last modified: $Author: sabel $, $Date: 2018/04/10 13:02:25 $