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

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal: Hinkel, Georg (auth)
Format: Électronique Chapitre de livre
Langue:anglais
Publié: Karlsruhe KIT Scientific Publishing 2021
Collection:The Karlsruhe Series on Software Design and Quality 31
Sujets:
Accès en ligne:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!

Internet

OAPEN Library: download the publication
OAPEN Library: description of the publication

3rd Floor Main Library

Informations d'exemplaires de 3rd Floor Main Library
Cote: A1234.567
Exemplaire 1 Disponible