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

Deskribapen osoa

Gorde:
Xehetasun bibliografikoak
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