Main content
Top content
Research
The activities of the software engineering group concentrate on the modeling of complex software systems. Developing concepts and tools for modeling and programming, for automation of the software developing process, and for quality assurance by verification and testing are the main activities.