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.