In the past, we have carried out the following research projects:

ADORA – A language and tool for integrated hierarchical modeling of systems.

Attempto – In this project, we developed a requirements specification language which is based on the idea of using controlled natural language for specification.

AVISSIMO – In this SNSF-funded project, we combined  aspect-oriented visualization and animated simulation for the validation of partial, semi-formal requirements models.

CASA - In this project we have developed a framework for mobile applications which can adapt automatically to changes in their environment (availability of resources or location) at runtime. CASA employs a contract-based adaptation policy, thus allowing modification of the adaptation policy at runtime. This project was funded by SNSF in the framework of the NCCR MICS.

GARUSO – In this project, we developed a gamification-based concept and platform for finding and engaging stakeholders outside organisational reach.

Handshaking – In this project, we are exploring pragmatic requirements communication according to Win-Win principles.

Metamodeling – Here we explored new, better ways for defining the syntax and semantics of graphic specification languages.

MiRiA – In this SNSF-funded project, we investigated how to find the right level of abstraction for a model.

Requirements Update – In this project, we investigated how the evolution of requirements can be supported by a concept and tool that analyzes changes in tests and generates hints about what to change in the corresponding requirements.

Scenarios – We investigated the role of scenarios in Requirements engineering and developed new techniques for representing scenarios. We also dealt with scenario integration.

SCENT – In the SCENT project, we developed a method for scenario-based testing of software.

UML – We have contributed to a better understanding of stereotypes and have investigated weaknesses of UML.