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...
Zapisane w:
| 1. autor: | |
|---|---|
| Format: | Elektroniczne Rozdział |
| Język: | angielski |
| Wydane: |
Karlsruhe
KIT Scientific Publishing
2021
|
| Seria: | The Karlsruhe Series on Software Design and Quality
|
| Hasła przedmiotowe: | |
| Dostęp online: | DOAB: download the publication DOAB: description of the publication |
| Etykiety: |
Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!
|
Internet
DOAB: download the publicationDOAB: description of the publication
3rd Floor Main Library
| Sygnatura: |
A1234.567 |
|---|---|
| Egzemplarz 1 | Dostępne |