Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

Courses in Summer Term 2018

IT-Systems Engineering BA

Modellierung II 2522 Modellierung II Prof. Dr. Holger Giese , Christian Schäffer

IT-Systems Engineering MA

Automated Verification Tools for Embedded Software 2605 HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge Prof. Dr. Holger Giese
Engineering Smart Systems and Service 2606 HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge Prof. Dr. Holger Giese , Joachim Hänsel
Runtime Monitoring 2516 HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge Prof. Dr. Holger Giese , Lucas Sakizloglou
Test Automation for Graph Databases 2590 HPI-ITSE-A Analyse, HPI-ITSE-E Entwurf, HPI-ITSE-K Konstruktion, HPI-ITSE-M Maintenance, HPI-SAMT-K Konzepte und Methoden, HPI-SAMT-S Spezialisierung, HPI-SAMT-T Techniken und Werkzeuge Dr. Leen Lambers , Dr. Sven Schneider