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 control by verification and testing are the main activities.