Related Books

Building Transformation Networks for Consistent Evolution of Interrelated Models
Language: en
Pages: 596
Authors: Klare, Heiko
Categories: Computers
Type: BOOK - Published: 2022-03-24 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

Complex software systems are described with multiple artifacts, such as code, design diagrams and others. Ensuring their consistency is crucial and can be autom
Consistent View-Based Management of Variability in Space and Time
Language: en
Pages: 310
Authors: Ananieva, Sofia
Categories: Computers
Type: BOOK - Published: 2022-12-06 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across produc
A Reference Structure for Modular Model-based Analyses
Language: en
Pages: 398
Authors: Koch, Sandro Giovanni
Categories:
Type: BOOK - Published: 2024-04-25 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-ba
Context-based Access Control and Attack Modelling and Analysis
Language: en
Pages: 350
Authors: Walter, Maximilian
Categories:
Type: BOOK - Published: 2024-07-03 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control po
Architecture-based Evolution of Dependable Software-intensive Systems
Language: en
Pages: 154
Authors: Heinrich, Robert
Categories:
Type: BOOK - Published: 2023-06-05 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

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