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...
Saved in:
| Superior document: | The Karlsruhe Series on Software Design and Quality |
|---|---|
| : | |
| Year of Publication: | 2021 |
| Language: | English |
| Series: | The Karlsruhe Series on Software Design and Quality
|
| Physical Description: | 1 electronic resource (498 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Electronic
| DOAB Directory of Open Access Books | Available |