|
Advanced MDE: Model Management
89
IT-Systems Engineering A, IT-Systems Engineering B, IT-Systems Engineering C, IT-Systems Engineering D, Software Architecture & Modeling Technology
|
Prof. Dr. Holger Giese
,
M. Sc. Thomas Beyhl
|
|
Automated Analysis of Formal Models
90
IT-Systems Engineering A, IT-Systems Engineering B, IT-Systems Engineering C, IT-Systems Engineering D, Software Architecture & Modeling Technology
|
Prof. Dr. Holger Giese
,
Dr. Leen Lambers
,
Johannes Dyck
|
|
Software Adaption
91
IT-Systems Engineering A, IT-Systems Engineering B, IT-Systems Engineering C, IT-Systems Engineering D, Software Architecture & Modeling Technology
|
Prof. Dr. Holger Giese
,
Thomas Vogel
|
