Matches in SemOpenAlex for { <https://semopenalex.org/work/W53859815> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W53859815 abstract "The increasing complexity of software development requires rigorously defined domain specific modelling languages (DSML). Model-driven engineering (MDE) allows users to define their language's syntax in terms of metamodels. Several approaches for defining operational semantics of DSML have also been proposed. These approaches allow, in principle, for model execution and for formal analyses of the DSML. However, most of the time, the executions/analyses are performed via transformations to other languages: code generation, resp. translation to the input language of a model checker. The consequence is that the results (e.g., a program crash log, or a counterexample returned by a model checker) may not be straightforward to interpret by the users of a DSML. In this research report, we propose a formal and operational framework for tracing such results back to the original DSML's syntax and operational semantics." @default.
- W53859815 created "2016-06-24" @default.
- W53859815 creator A5059186408 @default.
- W53859815 creator A5066780988 @default.
- W53859815 creator A5079739010 @default.
- W53859815 date "2010-10-01" @default.
- W53859815 modified "2023-09-23" @default.
- W53859815 title "Formally Tracing Executions From an Analysis Tool Back to a Domain Specific Modeling Language's Operational Semantics" @default.
- W53859815 cites W1517759046 @default.
- W53859815 cites W1978613757 @default.
- W53859815 cites W1985964670 @default.
- W53859815 cites W2056245653 @default.
- W53859815 cites W2066015890 @default.
- W53859815 cites W2070996046 @default.
- W53859815 cites W2102716483 @default.
- W53859815 cites W2130779417 @default.
- W53859815 cites W2158395308 @default.
- W53859815 cites W2911450990 @default.
- W53859815 hasPublicationYear "2010" @default.
- W53859815 type Work @default.
- W53859815 sameAs 53859815 @default.
- W53859815 citedByCount "0" @default.
- W53859815 crossrefType "journal-article" @default.
- W53859815 hasAuthorship W53859815A5059186408 @default.
- W53859815 hasAuthorship W53859815A5066780988 @default.
- W53859815 hasAuthorship W53859815A5079739010 @default.
- W53859815 hasConcept C114408938 @default.
- W53859815 hasConcept C115903868 @default.
- W53859815 hasConcept C138673069 @default.
- W53859815 hasConcept C146499914 @default.
- W53859815 hasConcept C154945302 @default.
- W53859815 hasConcept C156325763 @default.
- W53859815 hasConcept C179603123 @default.
- W53859815 hasConcept C184337299 @default.
- W53859815 hasConcept C199360897 @default.
- W53859815 hasConcept C2777904410 @default.
- W53859815 hasConcept C41008148 @default.
- W53859815 hasConcept C60048249 @default.
- W53859815 hasConceptScore W53859815C114408938 @default.
- W53859815 hasConceptScore W53859815C115903868 @default.
- W53859815 hasConceptScore W53859815C138673069 @default.
- W53859815 hasConceptScore W53859815C146499914 @default.
- W53859815 hasConceptScore W53859815C154945302 @default.
- W53859815 hasConceptScore W53859815C156325763 @default.
- W53859815 hasConceptScore W53859815C179603123 @default.
- W53859815 hasConceptScore W53859815C184337299 @default.
- W53859815 hasConceptScore W53859815C199360897 @default.
- W53859815 hasConceptScore W53859815C2777904410 @default.
- W53859815 hasConceptScore W53859815C41008148 @default.
- W53859815 hasConceptScore W53859815C60048249 @default.
- W53859815 hasOpenAccess W53859815 @default.
- W53859815 hasRelatedWork W1159406263 @default.
- W53859815 hasRelatedWork W1201887517 @default.
- W53859815 hasRelatedWork W1559177983 @default.
- W53859815 hasRelatedWork W1562626995 @default.
- W53859815 hasRelatedWork W1564966319 @default.
- W53859815 hasRelatedWork W1874247119 @default.
- W53859815 hasRelatedWork W2050151907 @default.
- W53859815 hasRelatedWork W2076990838 @default.
- W53859815 hasRelatedWork W2081867734 @default.
- W53859815 hasRelatedWork W2118196876 @default.
- W53859815 hasRelatedWork W2223159144 @default.
- W53859815 hasRelatedWork W2271417171 @default.
- W53859815 hasRelatedWork W2398099798 @default.
- W53859815 hasRelatedWork W2510108433 @default.
- W53859815 hasRelatedWork W2553140887 @default.
- W53859815 hasRelatedWork W2556680237 @default.
- W53859815 hasRelatedWork W2894714123 @default.
- W53859815 hasRelatedWork W2949691355 @default.
- W53859815 hasRelatedWork W1641675596 @default.
- W53859815 hasRelatedWork W2010634892 @default.
- W53859815 isParatext "false" @default.
- W53859815 isRetracted "false" @default.
- W53859815 magId "53859815" @default.
- W53859815 workType "article" @default.