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

This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control po

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