FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2314220009> ?p ?o ?g. }

• W2314220009 endingPage "1176" @default.
• W2314220009 startingPage "1154" @default.
• W2314220009 abstract "Software product line (SPL) engineering facilitates development of entire families of software products with systematic reuse. Model driven SPLs use models in the design and development process. In the safety critical domain, validation of models and testing of code increases the quality of the products altogether. However, to maintain this trustworthiness it is necessary to know that the SPL tools, which manipulate models and code to derive concrete product variants, do not introduce errors in the process. We propose a general technique of checking correctness of product derivation tools through translation validation. We demonstrate it using Featherweight VML—a core language for separate variability modeling relying on a single kind of variation point to define transformations of artifacts seen as object models. We use Featherweight VML with its semantics as a correctness specification for validating outputs of a variant derivation tool. We embed this specification in the theorem proving system Coq and develop an automatic generator of correctness proofs for translation results within Coq. We show that the correctness checking procedure is decidable, which allows the trustworthy proof checker of Coq to automatically verify runs of a variant derivation tool for correctness. We demonstrate how such a simple validation system can be constructed, by using this to validate variant derivation of a simple variability model implementation based on the Eclipse Modeling Framework. We hope that this presentation will encourage other researchers to use translation validation to validate more complex correctness properties in handling variability, as well as demonstrate to commercial tool vendors that formal verification can be introduced into their tools in a very lightweight manner." @default.
• W2314220009 created "2016-06-24" @default.
• W2314220009 creator A5056755949 @default.
• W2314220009 creator A5075955790 @default.
• W2314220009 date "2016-10-01" @default.
• W2314220009 modified "2023-10-16" @default.
• W2314220009 title "Trustworthy variant derivation with translation validation for safety critical product lines" @default.
• W2314220009 cites W125058547 @default.
• W2314220009 cites W138147603 @default.
• W2314220009 cites W1494019345 @default.
• W2314220009 cites W1501266650 @default.
• W2314220009 cites W1501652040 @default.
• W2314220009 cites W150470482 @default.
• W2314220009 cites W1511832825 @default.
• W2314220009 cites W1517463055 @default.
• W2314220009 cites W1520671630 @default.
• W2314220009 cites W1537891716 @default.
• W2314220009 cites W1561032926 @default.
• W2314220009 cites W1576863229 @default.
• W2314220009 cites W168742754 @default.
• W2314220009 cites W1817922214 @default.
• W2314220009 cites W1882027873 @default.
• W2314220009 cites W1949851419 @default.
• W2314220009 cites W1965979806 @default.
• W2314220009 cites W1967734133 @default.
• W2314220009 cites W1979766099 @default.
• W2314220009 cites W1981345493 @default.
• W2314220009 cites W1981899763 @default.
• W2314220009 cites W1985905700 @default.
• W2314220009 cites W1989236270 @default.
• W2314220009 cites W1991849845 @default.
• W2314220009 cites W2019477184 @default.
• W2314220009 cites W2040856861 @default.
• W2314220009 cites W2052598892 @default.
• W2314220009 cites W2067838808 @default.
• W2314220009 cites W2068469682 @default.
• W2314220009 cites W2069283169 @default.
• W2314220009 cites W2075558916 @default.
• W2314220009 cites W2094810043 @default.
• W2314220009 cites W2095741627 @default.
• W2314220009 cites W2099180673 @default.
• W2314220009 cites W2099213660 @default.
• W2314220009 cites W2108174561 @default.
• W2314220009 cites W2112000202 @default.
• W2314220009 cites W2114261459 @default.
• W2314220009 cites W2125080761 @default.
• W2314220009 cites W2125398918 @default.
• W2314220009 cites W2125674137 @default.
• W2314220009 cites W2126823808 @default.
• W2314220009 cites W2130876928 @default.
• W2314220009 cites W2135525750 @default.
• W2314220009 cites W2138615245 @default.
• W2314220009 cites W2156062547 @default.
• W2314220009 cites W2160387204 @default.
• W2314220009 cites W2258336457 @default.
• W2314220009 cites W2477378326 @default.
• W2314220009 cites W2492447586 @default.
• W2314220009 cites W2493100782 @default.
• W2314220009 cites W2592609933 @default.
• W2314220009 cites W2911450990 @default.
• W2314220009 cites W3145038047 @default.
• W2314220009 cites W86583397 @default.
• W2314220009 doi "https://doi.org/10.1016/j.jlamp.2016.02.001" @default.
• W2314220009 hasPublicationYear "2016" @default.
• W2314220009 type Work @default.
• W2314220009 sameAs 2314220009 @default.
• W2314220009 citedByCount "1" @default.
• W2314220009 countsByYear W23142200092016 @default.
• W2314220009 crossrefType "journal-article" @default.
• W2314220009 hasAuthorship W2314220009A5056755949 @default.
• W2314220009 hasAuthorship W2314220009A5075955790 @default.
• W2314220009 hasBestOaLocation W23142200091 @default.
• W2314220009 hasConcept C110251889 @default.
• W2314220009 hasConcept C115903868 @default.
• W2314220009 hasConcept C121332964 @default.
• W2314220009 hasConcept C163258240 @default.
• W2314220009 hasConcept C199360897 @default.
• W2314220009 hasConcept C2780992000 @default.
• W2314220009 hasConcept C41008148 @default.
• W2314220009 hasConcept C55439883 @default.
• W2314220009 hasConcept C62520636 @default.
• W2314220009 hasConcept C80444323 @default.
• W2314220009 hasConcept C98045186 @default.
• W2314220009 hasConceptScore W2314220009C110251889 @default.
• W2314220009 hasConceptScore W2314220009C115903868 @default.
• W2314220009 hasConceptScore W2314220009C121332964 @default.
• W2314220009 hasConceptScore W2314220009C163258240 @default.
• W2314220009 hasConceptScore W2314220009C199360897 @default.
• W2314220009 hasConceptScore W2314220009C2780992000 @default.
• W2314220009 hasConceptScore W2314220009C41008148 @default.
• W2314220009 hasConceptScore W2314220009C55439883 @default.
• W2314220009 hasConceptScore W2314220009C62520636 @default.
• W2314220009 hasConceptScore W2314220009C80444323 @default.
• W2314220009 hasConceptScore W2314220009C98045186 @default.
• W2314220009 hasFunder F4320334770 @default.
• W2314220009 hasIssue "6" @default.
• W2314220009 hasLocation W23142200091 @default.
• W2314220009 hasOpenAccess W2314220009 @default.

• next