Institute of Computer Science - Research Group Software Engineering
	Software Engineering

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.

One focus is the integration of the topics development and quality assurance. In the field of embedded software engineering, for example, systems are modeled graphically and real-time errors are visualized in the development model. Other fields of application for the integration of modeling und quality assurance are compliance checking in business process models and model driven verification and testing.