architecture-based-evolution-of-dependable-software-intensive-systems.pdf
This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolu...
| Language: | English |
|---|---|
| Published: |
KIT Scientific Publishing
2023
|
| Online Access: | https://doi.org/10.5445/KSP/1000157920 |
| Summary: | This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems early in development, (ii) decomposition and composition of modelling languages and analysis techniques to enable more flexibility in evolution, and (iii) bridging the divergent levels of abstraction between data of the operation phase, architectural models and source code of the development phase. |
|---|
