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

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 teaches model-based analysis and model-based testing, with important new ways to write and analyze software specifications and designs, generate test

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

This book constitutes the refereed proceedings of the 16th International Conference on Software Architecture, ECSA 2022, held in Prague in September 2022. The 9