Implicit Incremental Model Analyses and Transformations
When models of a system change, analyses based on them have to be reevaluated in order for the results to stay meaningful. In many cases, the time to get updated analysis results is critical. This thesis proposes multiple, combinable approaches and a new formalism based on category theory for implic...
Saved in:
Main Author: | Hinkel, Georg (auth) |
---|---|
Format: | Electronic Book Chapter |
Language: | English |
Published: |
Karlsruhe
KIT Scientific Publishing
2021
|
Series: | The Karlsruhe Series on Software Design and Quality
31 |
Subjects: | |
Online Access: | OAPEN Library: download the publication OAPEN Library: description of the publication |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Implicit Incremental Model Analyses and Transformations
by: Hinkel, Georg
Published: (2021) -
Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz
by: Philipp, Patrick
Published: (2023) -
Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz
by: Philipp, Patrick
Published: (2023) -
Modeling Excitable Tissue The EMI Framework
Published: (2021) -
Modeling Excitable Tissue The EMI Framework
Published: (2021)