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

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Glavni avtor: Hinkel, Georg (auth)
Format: Elektronski Book Chapter
Jezik:angleščina
Izdano: Karlsruhe KIT Scientific Publishing 2021
Serija:The Karlsruhe Series on Software Design and Quality 31
Teme:
Online dostop:OAPEN Library: download the publication
OAPEN Library: description of the publication
Oznake: Označite
Brez oznak, prvi označite!