In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-ba

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establ

Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems