A Reference Structure for Modular Model-based Analyses

A Reference Structure for Modular Model-based Analyses
Author :
Publisher : KIT Scientific Publishing
Total Pages : 398
Release :
ISBN-10 : 9783731513414
ISBN-13 : 3731513412
Rating : 4/5 (14 Downloads)

Book Synopsis A Reference Structure for Modular Model-based Analyses by : Koch, Sandro Giovanni

Download or read book A Reference Structure for Modular Model-based Analyses written by Koch, Sandro Giovanni and published by KIT Scientific Publishing. This book was released on 2024-04-25 with total page 398 pages. Available in PDF, EPUB and Kindle. Book excerpt: In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-based decomposition and composition of model-based analyses. Their goal is to improve the maintainability of model-based analyses. They have investigated the co-dependency of Domain-specific Modelling Languages (DSMLs) and model-based analyses regarding evolvability, understandability, and reusability.


A Reference Structure for Modular Model-based Analyses Related Books

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
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
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