Related Books

A Reference Structure for Modular Metamodels of Quality-Describing Domain-Specific Modeling Languages
Language: en
Pages: 518
Authors: Strittmatter, Misha
Categories: Computers
Type: BOOK - Published: 2020-07-23 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

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
Composing Model-Based Analysis Tools
Language: en
Pages: 311
Authors: Robert Heinrich
Categories: Computers
Type: BOOK - Published: 2021-12-02 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book presents joint works of members of the software engineering and formal methods communities with representatives from industry, with the goal of establ
Model-Based Performance Prediction for Concurrent Software on Multicore Architectures---A Simulation-Based Approach
Language: en
Pages: 400
Authors: Frank, Markus Kilian
Categories: Computers
Type: BOOK - Published: 2022-07-18 - Publisher: KIT Scientific Publishing

DOWNLOAD EBOOK

Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit
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