Related Books
Language: en
Pages: 518
Pages: 518
Type: BOOK - Published: 2020-07-23 - Publisher: KIT Scientific Publishing
Language: en
Pages: 398
Pages: 398
Type: BOOK - Published: 2024-04-25 - Publisher: KIT Scientific Publishing
In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-ba
Language: en
Pages: 311
Pages: 311
Type: BOOK - Published: 2021-12-02 - Publisher: Springer Nature
This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establ
Language: en
Pages: 400
Pages: 400
Type: BOOK - Published: 2022-07-18 - Publisher: KIT Scientific Publishing
Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit
Language: en
Pages: 154
Pages: 154
Type: BOOK - Published: 2023-06-05 - Publisher: KIT Scientific Publishing
This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems