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...
Γλώσσα: | English |
---|---|
Έκδοση: |
KIT Scientific Publishing
2023
|
Διαθέσιμο Online: | https://doi.org/10.5445/KSP/1000157920 |
Περίληψη: | 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. |
---|