Matches in SemOpenAlex for { <https://semopenalex.org/work/W2534825870> ?p ?o ?g. }
Showing items 1 to 40 of
40
with 100 items per page.
- W2534825870 abstract "In this work, we address the performance problem in the deductive verification of model transformations written in the ATL language w.r.t. given contracts. Our solution is to enable incremental verification for ATL transformations through caching and reusing of previous verification results. Specifically, we decompose the original OCL contract into sub-goals, and cache the verification result of each of them. We show that for ATL, the syntactic relationship between a model transformation change and a sub-goal can be used to determine if a cached verification result needs to be re-computed. We justify the soundness of our approach and its practical applicability through a case study." @default.
- W2534825870 created "2016-10-28" @default.
- W2534825870 creator A5015124710 @default.
- W2534825870 creator A5026384855 @default.
- W2534825870 date "2016-10-02" @default.
- W2534825870 modified "2023-10-17" @default.
- W2534825870 title "Towards Incremental Deductive Verification for ATL" @default.
- W2534825870 cites W2023801057 @default.
- W2534825870 cites W2067251265 @default.
- W2534825870 hasPublicationYear "2016" @default.
- W2534825870 type Work @default.
- W2534825870 sameAs 2534825870 @default.
- W2534825870 citedByCount "0" @default.
- W2534825870 crossrefType "proceedings-article" @default.
- W2534825870 hasAuthorship W2534825870A5015124710 @default.
- W2534825870 hasAuthorship W2534825870A5026384855 @default.
- W2534825870 hasBestOaLocation W25348258701 @default.
- W2534825870 hasConcept C199360897 @default.
- W2534825870 hasConcept C41008148 @default.
- W2534825870 hasConceptScore W2534825870C199360897 @default.
- W2534825870 hasConceptScore W2534825870C41008148 @default.
- W2534825870 hasLocation W25348258701 @default.
- W2534825870 hasLocation W25348258702 @default.
- W2534825870 hasLocation W25348258703 @default.
- W2534825870 hasOpenAccess W2534825870 @default.
- W2534825870 hasPrimaryLocation W25348258701 @default.
- W2534825870 hasRelatedWork W1596801655 @default.
- W2534825870 hasRelatedWork W2130043461 @default.
- W2534825870 hasRelatedWork W2350741829 @default.
- W2534825870 hasRelatedWork W2358668433 @default.
- W2534825870 hasRelatedWork W2376932109 @default.
- W2534825870 hasRelatedWork W2382290278 @default.
- W2534825870 hasRelatedWork W2390279801 @default.
- W2534825870 hasRelatedWork W2748952813 @default.
- W2534825870 hasRelatedWork W2899084033 @default.
- W2534825870 hasRelatedWork W2530322880 @default.
- W2534825870 isParatext "false" @default.
- W2534825870 isRetracted "false" @default.
- W2534825870 magId "2534825870" @default.
- W2534825870 workType "article" @default.