Filter
Volltextsuche
Nummer Titel Lehrperson
Q08-14 Softwaretechnik für cyber-physische Systeme Schlingloff
Q09-06 Verifikation von Software Schlingloff
W05-02 Software-Verifikation Schlingloff
W05-04 Software-Verifikation II – Automatische Verifikation Schlingloff
W08-17 Modellbasierte Softwareentwicklung eingebetteter Systeme Schlingloff
W09-01 Software-Verifikation Schlingloff

(*) Hinweis

Bitte beachten Sie die Studien-und Prüfungsordnung des Masterstudiengangs Informatik, §4(6): Zusätzlich zu den Modulen dieses Studiengangs kann im fachlichen Wahlpflichtbereich maximal eines der als „forschungsorientiert“ gekennzeichneten Module des Monobachelorstudiengangs Informatik belegt werden, wenn dieses Modul nicht schon im Bachelorstudium belegt wurde.

Zusätzlich zu den deklarierten "forschungsorientierten" Modulen sind die folgenden Module aus dem Pflichtbereich und dem fachliche Wahlpflichtbereich gem. Studien- und Prüfungsordnung des Masterstudiengangs Informatik §4(6) als „forschungsorientiert“ wählbar:

  • W*2: Betriebssysteme 1 ,
  • W*3: Grundlagen von Datenbanksysteme
  • C3: Kommunikationssysteme.