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...
Gorde:
Egile nagusia: | Hinkel, Georg (auth) |
---|---|
Formatua: | Baliabide elektronikoa Liburu kapitulua |
Hizkuntza: | ingelesa |
Argitaratua: |
Karlsruhe
KIT Scientific Publishing
2021
|
Saila: | The Karlsruhe Series on Software Design and Quality
|
Gaiak: | |
Sarrera elektronikoa: | DOAB: download the publication DOAB: description of the publication |
Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Antzeko izenburuak
-
Implicit Incremental Model Analyses and Transformations
nork: Hinkel, Georg
Argitaratua: (2021) -
Modeling Excitable Tissue The EMI Framework
Argitaratua: (2021) -
Modeling Excitable Tissue The EMI Framework
Argitaratua: (2021) -
Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz
nork: Philipp, Patrick
Argitaratua: (2023) -
Über die Formalisierung und Analyse medizinischer Prozesse im Kontext von Expertenwissen und künstlicher Intelligenz
nork: Philipp, Patrick
Argitaratua: (2023)