Show simple item record

dc.contributor.authorHinkel, Georg
dc.date.accessioned2021-08-16T09:31:29Z
dc.date.available2021-08-16T09:31:29Z
dc.date.issued2021
dc.identifierONIX_20210816_9783731507635_15
dc.identifier.issn1867-0067
dc.identifier.urihttps://library.oapen.org/handle/20.500.12657/50454
dc.description.abstractWhen 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 implicitly incremental model analyses and transformations. The advantages of the implementation are validated using seven case studies, partially drawn from the Transformation Tool Contest (TTC).
dc.languageEnglish
dc.relation.ispartofseriesThe Karlsruhe Series on Software Design and Quality
dc.subject.classificationbic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
dc.subject.otherIncrementalization
dc.subject.otherModel Analysis
dc.subject.otherModel Transformation
dc.subject.otherSynchronization Blocks
dc.subject.otherInkrementalisierung
dc.subject.otherModellanalyse
dc.subject.otherModelltransformation
dc.subject.otherSynchronisierungsblöcke
dc.titleImplicit Incremental Model Analyses and Transformations
dc.typebook
oapen.identifier.doi10.5445/KSP/1000080522
oapen.relation.isPublishedBy44e29711-8d53-496b-85cc-3d10c9469be9
oapen.relation.isbn9783731507635
oapen.imprintKIT Scientific Publishing
oapen.series.number31
oapen.pages498
oapen.place.publicationKarlsruhe


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record