David Sabel


Computer Scientist


Home Research Publications Talks Teaching Software

Seminar: Spezielle Themen zu Softwaresystemen

Aktuelles
  • Die Vorträge finden am Mittwoch, den 04. Juli ab 14 Uhr in SR 11 (Robert-Mayer-Str. 11-15) statt.
  • Folien zum Organisatorischen sind hier abrufbar.
  • Die Themenliste wurde aktualisiert (Themen 8,9 und 10 neu hinzugefügt).
  • Die Anmeldung zum Seminar fand über die zentrale Einschreibung zu den Seminaren im Sommersemester 2018 statt.
  • Für angemeldete TeilnehmerInnen fandeine Vorbesprechung samt Themenvergabe am 12.04.2018 um 16 s.t. in Seminarraum 11, Robert-Mayer-Str. 11-15, EG 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 stattfinden.
LaTeX-Vorlage für die Ausarbeitung
(c) 2018 PD Dr. David Sabel, Imprint, Privacy Policy Last modified: $Author: sabel $, $Date: 2018/07/04 09:41:06 $