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

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Hinkel, Georg (auth)
Formato: Electrónico Capítulo de libro
Lenguaje:inglés
Publicado: Karlsruhe KIT Scientific Publishing 2021
Colección:The Karlsruhe Series on Software Design and Quality 31
Materias:
Acceso en línea:OAPEN Library: download the publication
OAPEN Library: description of the publication
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

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

3rd Floor Main Library

Detalle de Existencias desde 3rd Floor Main Library
Número de Clasificación: A1234.567
Copia 1 Disponible