Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

Courses in Summer Term 2014

IT-Systems Engineering BA

Modellierung II 96 Modellierung II Prof. Dr. Holger Giese , M.Sc. Sebastian Wätzoldt , Joachim Hänsel

IT-Systems Engineering MA

Automated Analysis of Formal Models 98 IT-Systems Engineering A, IT-Systems Engineering B, IT-Systems Engineering C, IT-Systems Engineering D, Software Architecture & Modeling Technology Prof. Dr. Holger Giese , Johannes Dyck , Joachim Hänsel
Software Engineering for Self-Adaptive Systems 97 IT-Systems Engineering A, IT-Systems Engineering B, IT-Systems Engineering C, IT-Systems Engineering D, Software Architecture & Modeling Technology, IT-Systems Engineering Analyse Prof. Dr. Holger Giese , Thomas Vogel