Matches in SemOpenAlex for { <https://semopenalex.org/work/W2898330247> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2898330247 abstract "The Model Driven Engineering approach is an important contribution in Software Engineering. The strength of this approach is related to its model transformation process. However, ensuring that the output model is semantically equivalent to the input model is in itself a challenge. This paper introduces a semantic framework based on the theorem proving method in order to rise this challenge. The framework allows facilitating any proof of model-to-model transformations. We explain how to apply this framework using the Coq tool that’s to prove the correctness of a standard case study." @default.
- W2898330247 created "2018-11-02" @default.
- W2898330247 creator A5072024543 @default.
- W2898330247 creator A5079520750 @default.
- W2898330247 creator A5082473579 @default.
- W2898330247 creator A5082681139 @default.
- W2898330247 date "2018-10-25" @default.
- W2898330247 modified "2023-09-27" @default.
- W2898330247 title "A Semantic Framework to Improve Model-to-Model Transformations" @default.
- W2898330247 cites W1496759536 @default.
- W2898330247 cites W2069633766 @default.
- W2898330247 cites W2076990838 @default.
- W2898330247 cites W2154231274 @default.
- W2898330247 cites W2213188552 @default.
- W2898330247 cites W2763640514 @default.
- W2898330247 cites W340252736 @default.
- W2898330247 doi "https://doi.org/10.1007/978-3-030-03577-8_32" @default.
- W2898330247 hasPublicationYear "2018" @default.
- W2898330247 type Work @default.
- W2898330247 sameAs 2898330247 @default.
- W2898330247 citedByCount "0" @default.
- W2898330247 crossrefType "book-chapter" @default.
- W2898330247 hasAuthorship W2898330247A5072024543 @default.
- W2898330247 hasAuthorship W2898330247A5079520750 @default.
- W2898330247 hasAuthorship W2898330247A5082473579 @default.
- W2898330247 hasAuthorship W2898330247A5082681139 @default.
- W2898330247 hasConcept C104317684 @default.
- W2898330247 hasConcept C115903868 @default.
- W2898330247 hasConcept C145644426 @default.
- W2898330247 hasConcept C154945302 @default.
- W2898330247 hasConcept C185592680 @default.
- W2898330247 hasConcept C199360897 @default.
- W2898330247 hasConcept C204241405 @default.
- W2898330247 hasConcept C2776436953 @default.
- W2898330247 hasConcept C2777904410 @default.
- W2898330247 hasConcept C2779791154 @default.
- W2898330247 hasConcept C41008148 @default.
- W2898330247 hasConcept C509989072 @default.
- W2898330247 hasConcept C55439883 @default.
- W2898330247 hasConcept C55493867 @default.
- W2898330247 hasConcept C80444323 @default.
- W2898330247 hasConcept C90312973 @default.
- W2898330247 hasConcept C98045186 @default.
- W2898330247 hasConceptScore W2898330247C104317684 @default.
- W2898330247 hasConceptScore W2898330247C115903868 @default.
- W2898330247 hasConceptScore W2898330247C145644426 @default.
- W2898330247 hasConceptScore W2898330247C154945302 @default.
- W2898330247 hasConceptScore W2898330247C185592680 @default.
- W2898330247 hasConceptScore W2898330247C199360897 @default.
- W2898330247 hasConceptScore W2898330247C204241405 @default.
- W2898330247 hasConceptScore W2898330247C2776436953 @default.
- W2898330247 hasConceptScore W2898330247C2777904410 @default.
- W2898330247 hasConceptScore W2898330247C2779791154 @default.
- W2898330247 hasConceptScore W2898330247C41008148 @default.
- W2898330247 hasConceptScore W2898330247C509989072 @default.
- W2898330247 hasConceptScore W2898330247C55439883 @default.
- W2898330247 hasConceptScore W2898330247C55493867 @default.
- W2898330247 hasConceptScore W2898330247C80444323 @default.
- W2898330247 hasConceptScore W2898330247C90312973 @default.
- W2898330247 hasConceptScore W2898330247C98045186 @default.
- W2898330247 hasLocation W28983302471 @default.
- W2898330247 hasOpenAccess W2898330247 @default.
- W2898330247 hasPrimaryLocation W28983302471 @default.
- W2898330247 hasRelatedWork W1494686126 @default.
- W2898330247 hasRelatedWork W1598157599 @default.
- W2898330247 hasRelatedWork W1603406363 @default.
- W2898330247 hasRelatedWork W2070344966 @default.
- W2898330247 hasRelatedWork W2141188123 @default.
- W2898330247 hasRelatedWork W2255084571 @default.
- W2898330247 hasRelatedWork W2399597203 @default.
- W2898330247 hasRelatedWork W2771385171 @default.
- W2898330247 hasRelatedWork W2966593744 @default.
- W2898330247 hasRelatedWork W2609535815 @default.
- W2898330247 isParatext "false" @default.
- W2898330247 isRetracted "false" @default.
- W2898330247 magId "2898330247" @default.
- W2898330247 workType "book-chapter" @default.