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.

• Managing Regulatory Compliance: a Business-Centred Approach (MaRCo), 2010 - 2013
• Correct distributed Java applications (KoverJa), 2009 - 2013
• Development of a backannotation solution for modeling in UML (UML Target Animation), 2009 - 2012

• Design and implementation of software for charitable associations (open source project), 2010