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

- Exploit the significant power of design patterns and make better design decisions with the proven POAD methodology - Improve software quality and reliability