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.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientistsen_US
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
peerreview.anonymityAll identities known
peerreview.id51a542ec-eaeb-47c2-861d-6022e981a97a
peerreview.open.reviewNo
peerreview.publish.responsibilityBooks or series editor
peerreview.review.stagePre-publication
peerreview.review.typeFull text
peerreview.reviewer.typeEditorial board member
peerreview.reviewer.typeExternal peer reviewer
peerreview.titleDissertations in Series (Dissertationen in Schriftenreihe)


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record