Research Group
Software Engineering

The Software Engineering research group is concerned with model-based methods and tools for software development for critical systems: In the area of software quality, we work on the analysis of business process and software models for quality attributes such as IT security and compliance and static as well as runtime-based software verification. In the area of large-scale software project management, we work on the capture and analysis of non-functional requirements. On the topic of software maintainability, we investigate the preservation of requirements during software evolution. We apply our methods and tools to software-as-a-service (SaaS) and cloud-oriented software architectures, among others, where no "best practice" for secure development exists yet.