Matches in SemOpenAlex for { <https://semopenalex.org/work/W2510108433> ?p ?o ?g. }
- W2510108433 endingPage "1225" @default.
- W2510108433 startingPage "1197" @default.
- W2510108433 abstract "Model-driven engineering is an effective approach for addressing the full life cycle of software development. Model transformation is widely acknowledged as one of its central ingredients. With the increasing complexity of model transformations, it is urgent to develop verification tools that prevent incorrect transformations from generating faulty models. However, the development of sound verification tools is a non-trivial task, due to unimplementable or erroneous execution semantics encoded for the target model transformation language. In this work, we develop a formalisation for the EMFTVM bytecode language by using the Boogie intermediate verification language. It ensures the model transformation language has an implementable execution semantics by reliably prototyping the implementation of the model transformation language. It also ensures the absence of erroneous execution semantics encoded for the target model transformation language by using a translation validation approach." @default.
- W2510108433 created "2016-09-16" @default.
- W2510108433 creator A5003866910 @default.
- W2510108433 creator A5015124710 @default.
- W2510108433 creator A5063702831 @default.
- W2510108433 date "2016-08-16" @default.
- W2510108433 modified "2023-09-23" @default.
- W2510108433 title "Formalised EMFTVM bytecode language for sound verification of model transformations" @default.
- W2510108433 cites W1014358564 @default.
- W2510108433 cites W1480909796 @default.
- W2510108433 cites W1496759536 @default.
- W2510108433 cites W1500861306 @default.
- W2510108433 cites W1517809527 @default.
- W2510108433 cites W1548001884 @default.
- W2510108433 cites W1551012392 @default.
- W2510108433 cites W1562798600 @default.
- W2510108433 cites W1579389332 @default.
- W2510108433 cites W1606177908 @default.
- W2510108433 cites W1676236699 @default.
- W2510108433 cites W173274104 @default.
- W2510108433 cites W1807498156 @default.
- W2510108433 cites W1820726602 @default.
- W2510108433 cites W1920243333 @default.
- W2510108433 cites W1959256509 @default.
- W2510108433 cites W1965979806 @default.
- W2510108433 cites W1971817748 @default.
- W2510108433 cites W1980629018 @default.
- W2510108433 cites W1988233180 @default.
- W2510108433 cites W1997076099 @default.
- W2510108433 cites W2009715851 @default.
- W2510108433 cites W2023801057 @default.
- W2510108433 cites W2036603632 @default.
- W2510108433 cites W2036852981 @default.
- W2510108433 cites W2043100293 @default.
- W2510108433 cites W2055477538 @default.
- W2510108433 cites W2056245653 @default.
- W2510108433 cites W2060440626 @default.
- W2510108433 cites W2067251265 @default.
- W2510108433 cites W2069633766 @default.
- W2510108433 cites W2081472149 @default.
- W2510108433 cites W2105482255 @default.
- W2510108433 cites W2105827348 @default.
- W2510108433 cites W2110980218 @default.
- W2510108433 cites W2111275187 @default.
- W2510108433 cites W2117293074 @default.
- W2510108433 cites W2120897738 @default.
- W2510108433 cites W2130427425 @default.
- W2510108433 cites W2130876928 @default.
- W2510108433 cites W2131336207 @default.
- W2510108433 cites W2143378352 @default.
- W2510108433 cites W2152567582 @default.
- W2510108433 cites W2161806321 @default.
- W2510108433 cites W2581181153 @default.
- W2510108433 cites W2911450990 @default.
- W2510108433 cites W2987907651 @default.
- W2510108433 cites W4206368310 @default.
- W2510108433 cites W4240872599 @default.
- W2510108433 cites W4244167827 @default.
- W2510108433 cites W4251228600 @default.
- W2510108433 cites W4252076279 @default.
- W2510108433 cites W4254996339 @default.
- W2510108433 doi "https://doi.org/10.1007/s10270-016-0553-x" @default.
- W2510108433 hasPublicationYear "2016" @default.
- W2510108433 type Work @default.
- W2510108433 sameAs 2510108433 @default.
- W2510108433 citedByCount "5" @default.
- W2510108433 countsByYear W25101084332017 @default.
- W2510108433 countsByYear W25101084332018 @default.
- W2510108433 countsByYear W25101084332019 @default.
- W2510108433 countsByYear W25101084332022 @default.
- W2510108433 crossrefType "journal-article" @default.
- W2510108433 hasAuthorship W2510108433A5003866910 @default.
- W2510108433 hasAuthorship W2510108433A5015124710 @default.
- W2510108433 hasAuthorship W2510108433A5063702831 @default.
- W2510108433 hasBestOaLocation W25101084332 @default.
- W2510108433 hasConcept C104317684 @default.
- W2510108433 hasConcept C110251889 @default.
- W2510108433 hasConcept C115903868 @default.
- W2510108433 hasConcept C146499914 @default.
- W2510108433 hasConcept C154945302 @default.
- W2510108433 hasConcept C184337299 @default.
- W2510108433 hasConcept C185592680 @default.
- W2510108433 hasConcept C199360897 @default.
- W2510108433 hasConcept C204241405 @default.
- W2510108433 hasConcept C2776436953 @default.
- W2510108433 hasConcept C2778361913 @default.
- W2510108433 hasConcept C2779791154 @default.
- W2510108433 hasConcept C2779818221 @default.
- W2510108433 hasConcept C41008148 @default.
- W2510108433 hasConcept C548217200 @default.
- W2510108433 hasConcept C55493867 @default.
- W2510108433 hasConceptScore W2510108433C104317684 @default.
- W2510108433 hasConceptScore W2510108433C110251889 @default.
- W2510108433 hasConceptScore W2510108433C115903868 @default.
- W2510108433 hasConceptScore W2510108433C146499914 @default.
- W2510108433 hasConceptScore W2510108433C154945302 @default.
- W2510108433 hasConceptScore W2510108433C184337299 @default.
- W2510108433 hasConceptScore W2510108433C185592680 @default.