Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Lehre im Wintersemester 2020/2021

IT-Systems Engineering MA

Software Analysieren, Testen und Verifizieren 3109 OSIS-Konzepte und Methoden, OSIS-Spezialisierung, OSIS-Techniken und Werkzeuge, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge, ITSE-Analyse, ITSE-Konstruktion Dr. Leen Lambers