Matches in SemOpenAlex for { <https://semopenalex.org/work/W1852811211> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1852811211 abstract "Formal methods (such as interactive provers) are increasingly used in software engineering. They offer a formal frame that guarantees the correctness of developments. Nevertheless, they use complex notations that might be difficult to understand for unaccustomed users. On the contrary, visual specification languages use intuitive notations and allow to specify and understand software systems. Moreover, they permit to easily generate graphical interfaces or editors for Domain Specific Languages (DSLs) starting from a meta-model. However, they suffer from a lack of precise semantics. We are interested in combining these two complementary technologies by mapping the elements of the one into the other.In this paper, we present a generic transformation process from functional data structures, commonly used in proof assistants, to Ecore models and vice-versa. This translation method is based on Model-Driven Engineering and defined by a set of bidirectional transformation rules. These rules are presented with an illustrating example, along with an implementation in the Eclipse environment." @default.
- W1852811211 created "2016-06-24" @default.
- W1852811211 creator A5003720813 @default.
- W1852811211 creator A5004844102 @default.
- W1852811211 creator A5014456324 @default.
- W1852811211 date "2012-01-01" @default.
- W1852811211 modified "2023-10-01" @default.
- W1852811211 title "Integrating a Formal Development for DSLs into Meta-modeling" @default.
- W1852811211 cites W1568396250 @default.
- W1852811211 cites W1592664298 @default.
- W1852811211 cites W1596597411 @default.
- W1852811211 cites W1963978173 @default.
- W1852811211 cites W2018568588 @default.
- W1852811211 cites W2125174515 @default.
- W1852811211 cites W2155028447 @default.
- W1852811211 cites W2618301457 @default.
- W1852811211 cites W4233648386 @default.
- W1852811211 cites W4250846042 @default.
- W1852811211 doi "https://doi.org/10.1007/978-3-642-33609-6_7" @default.
- W1852811211 hasPublicationYear "2012" @default.
- W1852811211 type Work @default.
- W1852811211 sameAs 1852811211 @default.
- W1852811211 citedByCount "2" @default.
- W1852811211 countsByYear W18528112112013 @default.
- W1852811211 countsByYear W18528112112019 @default.
- W1852811211 crossrefType "book-chapter" @default.
- W1852811211 hasAuthorship W1852811211A5003720813 @default.
- W1852811211 hasAuthorship W1852811211A5004844102 @default.
- W1852811211 hasAuthorship W1852811211A5014456324 @default.
- W1852811211 hasConcept C115903868 @default.
- W1852811211 hasConcept C135257023 @default.
- W1852811211 hasConcept C154945302 @default.
- W1852811211 hasConcept C184337299 @default.
- W1852811211 hasConcept C192698709 @default.
- W1852811211 hasConcept C199360897 @default.
- W1852811211 hasConcept C2776436953 @default.
- W1852811211 hasConcept C2777904410 @default.
- W1852811211 hasConcept C2779791154 @default.
- W1852811211 hasConcept C33923547 @default.
- W1852811211 hasConcept C41008148 @default.
- W1852811211 hasConcept C45357846 @default.
- W1852811211 hasConcept C529173508 @default.
- W1852811211 hasConcept C55439883 @default.
- W1852811211 hasConcept C75606506 @default.
- W1852811211 hasConcept C94375191 @default.
- W1852811211 hasConcept C98045186 @default.
- W1852811211 hasConceptScore W1852811211C115903868 @default.
- W1852811211 hasConceptScore W1852811211C135257023 @default.
- W1852811211 hasConceptScore W1852811211C154945302 @default.
- W1852811211 hasConceptScore W1852811211C184337299 @default.
- W1852811211 hasConceptScore W1852811211C192698709 @default.
- W1852811211 hasConceptScore W1852811211C199360897 @default.
- W1852811211 hasConceptScore W1852811211C2776436953 @default.
- W1852811211 hasConceptScore W1852811211C2777904410 @default.
- W1852811211 hasConceptScore W1852811211C2779791154 @default.
- W1852811211 hasConceptScore W1852811211C33923547 @default.
- W1852811211 hasConceptScore W1852811211C41008148 @default.
- W1852811211 hasConceptScore W1852811211C45357846 @default.
- W1852811211 hasConceptScore W1852811211C529173508 @default.
- W1852811211 hasConceptScore W1852811211C55439883 @default.
- W1852811211 hasConceptScore W1852811211C75606506 @default.
- W1852811211 hasConceptScore W1852811211C94375191 @default.
- W1852811211 hasConceptScore W1852811211C98045186 @default.
- W1852811211 hasLocation W18528112111 @default.
- W1852811211 hasOpenAccess W1852811211 @default.
- W1852811211 hasPrimaryLocation W18528112111 @default.
- W1852811211 hasRelatedWork W1014690126 @default.
- W1852811211 hasRelatedWork W145312585 @default.
- W1852811211 hasRelatedWork W18182073 @default.
- W1852811211 hasRelatedWork W1983346515 @default.
- W1852811211 hasRelatedWork W2032563151 @default.
- W1852811211 hasRelatedWork W2036461393 @default.
- W1852811211 hasRelatedWork W2039091235 @default.
- W1852811211 hasRelatedWork W2060272186 @default.
- W1852811211 hasRelatedWork W2076168176 @default.
- W1852811211 hasRelatedWork W2086358842 @default.
- W1852811211 hasRelatedWork W2115475187 @default.
- W1852811211 hasRelatedWork W2118793464 @default.
- W1852811211 hasRelatedWork W2123983181 @default.
- W1852811211 hasRelatedWork W2255084571 @default.
- W1852811211 hasRelatedWork W2275891652 @default.
- W1852811211 hasRelatedWork W2397197317 @default.
- W1852811211 hasRelatedWork W2406560927 @default.
- W1852811211 hasRelatedWork W2605964439 @default.
- W1852811211 hasRelatedWork W2949259310 @default.
- W1852811211 hasRelatedWork W212588424 @default.
- W1852811211 isParatext "false" @default.
- W1852811211 isRetracted "false" @default.
- W1852811211 magId "1852811211" @default.
- W1852811211 workType "book-chapter" @default.