Hasso-Plattner-Institut
Prof. Dr. Holger Giese
  
 

Teaching in Summer 2017

IT-Systems Engineering BA

Modellierung II2095 Modellierung II Prof. Dr. Holger Giese

IT-Systems Engineering MA

Automated Analysis of Formal Models2156 SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge, ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance Prof. Dr. Holger Giese , Johannes Dyck
Intelligent Autonomous Systems: Assurance and Ethical Issues2134 ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance, SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge Prof. Dr. Holger Giese
Test Automation for Graph Databases2117 SAMT-Konzepte und Methoden, SAMT-Spezialisierung, SAMT-Techniken und Werkzeuge, ITSE-Analyse, ITSE-Entwurf, ITSE-Konstruktion, ITSE-Maintenance Dr. Leen Lambers , Sven Schneider