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

ver descrição completa

Na minha lista:
Detalhes bibliográficos
Autor principal: Hinkel, Georg (auth)
Formato: Recurso Electrónico Capítulo de Livro
Idioma:inglês
Publicado em: Karlsruhe KIT Scientific Publishing 2021
Colecção:The Karlsruhe Series on Software Design and Quality 31
Assuntos:
Acesso em linha:OAPEN Library: download the publication
OAPEN Library: description of the publication
Tags: Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!

Internet

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

3rd Floor Main Library

Detalhes do Exemplar 3rd Floor Main Library
Área/Cota: A1234.567
Cód. Barras: 1 Disponível