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

Szczegółowa specyfikacja

Opis bibliograficzny

1. autor:	Hinkel, Georg
Format:	Online
Język:	angielski
Wydane:	KIT Scientific Publishing 2021
Hasła przedmiotowe:	Incrementalization Model Analysis Model Transformation Synchronization Blocks Inkrementalisierung Modellanalyse Modelltransformation Synchronisierungsblöcke thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
Dostęp online:	ONIX_20210816_9783731507635_15
Etykiety:	Dodaj etykietę Nie ma etykietki, Dołącz pierwszą etykiete!