System Analysis and Modeling
The System Analysis and Modeling group focuses on the Model Driven Software Engineering domain.
This subsumes the following: specification of dynamic and flexible systems by pattern and components, approaches to analyze and formally verify such models, and approaches for model synthesis. The main focus based on systems that are typically distributed systems, embedded real-time systems as well as systems that are capable to adapt and co-ordinate themselves.
Furthermore, the chair does research on model transformation, develops concepts for generating source code for models' structure and behavior, and investigates the general problem of model integration during the process of model driven software engineering.
Details to distinct topics can be found in our research section.
Head of the Group: Prof. Dr. Holger Giese