Direkt zum InhaltDirekt zur SucheDirekt zur Navigation
▼ Zielgruppen ▼

Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Software Engineering

Lehrangebot Sommersemester 2020

Vorlesungszeit: 20.04.2020 - 18.07.2020

 

  • Vorlesung Methoden und Modelle des Systementwurfs (6 SWS, 8LP)
    Vorlesung Dienstag, 9-13, RUD 25, 4.112
    Übung Dienstag, 13-15, RUD 25, 4.112
    Dozent: Prof. Timo Kehrer / Dr. Thomas Vogel
  • Vorlesung Software-Verifikation (6 SWS, 9LP)
    Vorlesung Mittwoch, 13-15, RUD 25, 3.113
    Vorlesung Donnerstag, 13-15, RUD 25, 3.113
    Übung Mittwoch, 15-17, RUD 25, 3.113
    Dozent: Prof. Holger Schlingloff / Dr. Thomas Vogel
  • Seminar Debugging und automatisierte Fehlerbereinigung (2 SWS, 3LP)
    Dienstag, 9-11, RUD 26, 1'307
    Dozent: Dipl.Inf. Simon Heiden / Prof. Lars Grunske
  • Semesterprojekt Entwicklung eines Java IDE Plugins für (semi-)automatisches Debugging (4 SWS, 12LP)
    Montag, 9-13, RUD 25, 3.113
    Dozent: Dipl.Inf. Simon Heiden
  • Semesterprojekt Modularisierung der Applikation RAY-UI (4 SWS, 12LP)
    Donnerstag, 9-13, RUD 25, 3.213
    Dozent: Dr. Thomas Vogel