FRINK Linked Data Fragments server

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

• W2022505402 endingPage "122" @default.
• W2022505402 startingPage "108" @default.
• W2022505402 abstract "Composition technologies improve reuse in the development of large-scale complex systems. Safety critical systems require intensive validation and verification activities. These activities should be compositional in order to reduce the amount of residual verification activities that must be conducted on the composite in addition to the ones conducted on each components. In order to ensure the correctness of compositional verification and assess the minimality of the residual verification, the contribution proposes to use formal specification and verification at the composition operator level. A first experiment was conducted in [15] using proof assistants to formalize the generic composition technology ISC and prove that type checking was compositional. This contribution extends our early work to handle full model conformance and study the mandatory residual verification. It shows that ISC operators are not fully compositional with respect to conformance and provides the minimal preconditions on the operators mandatory to ensure compositional conformance. The appropriate operators from ISC (especially bind) have been implemented in the COQ4MDE framework that provides a full implementation of MOF in the COQ proof assistant. Expected properties, respectively residual verification, are expressed as post, respectfully pre, conditions for the composition operators. The correctness of the compositional verification is proven in COQ." @default.
• W2022505402 created "2016-06-24" @default.
• W2022505402 creator A5018183217 @default.
• W2022505402 creator A5065474253 @default.
• W2022505402 creator A5079739010 @default.
• W2022505402 creator A5085820290 @default.
• W2022505402 date "2014-04-02" @default.
• W2022505402 modified "2023-10-02" @default.
• W2022505402 title "Correct-by-construction model composition: Application to the Invasive Software Composition method" @default.
• W2022505402 cites W138671001 @default.
• W2022505402 cites W1449132512 @default.
• W2022505402 cites W1517809527 @default.
• W2022505402 cites W1529227536 @default.
• W2022505402 cites W1546264185 @default.
• W2022505402 cites W1569780408 @default.
• W2022505402 cites W1579389332 @default.
• W2022505402 cites W1781522597 @default.
• W2022505402 cites W1834621638 @default.
• W2022505402 cites W1991651491 @default.
• W2022505402 cites W2105550191 @default.
• W2022505402 cites W2133038101 @default.
• W2022505402 cites W2134287022 @default.
• W2022505402 cites W2142346010 @default.
• W2022505402 cites W2147694437 @default.
• W2022505402 cites W2158826063 @default.
• W2022505402 cites W2170995490 @default.
• W2022505402 cites W2493187222 @default.
• W2022505402 cites W2949542198 @default.
• W2022505402 cites W4210878735 @default.
• W2022505402 cites W4232500117 @default.
• W2022505402 doi "https://doi.org/10.4204/eptcs.147.8" @default.
• W2022505402 hasPublicationYear "2014" @default.
• W2022505402 type Work @default.
• W2022505402 sameAs 2022505402 @default.
• W2022505402 citedByCount "3" @default.
• W2022505402 countsByYear W20225054022014 @default.
• W2022505402 countsByYear W20225054022016 @default.
• W2022505402 countsByYear W20225054022022 @default.
• W2022505402 crossrefType "journal-article" @default.
• W2022505402 hasAuthorship W2022505402A5018183217 @default.
• W2022505402 hasAuthorship W2022505402A5065474253 @default.
• W2022505402 hasAuthorship W2022505402A5079739010 @default.
• W2022505402 hasAuthorship W2022505402A5085820290 @default.
• W2022505402 hasBestOaLocation W20225054021 @default.
• W2022505402 hasConcept C110251889 @default.
• W2022505402 hasConcept C111498074 @default.
• W2022505402 hasConcept C11413529 @default.
• W2022505402 hasConcept C115903868 @default.
• W2022505402 hasConcept C127413603 @default.
• W2022505402 hasConcept C138885662 @default.
• W2022505402 hasConcept C142284323 @default.
• W2022505402 hasConcept C149091818 @default.
• W2022505402 hasConcept C155512373 @default.
• W2022505402 hasConcept C186846655 @default.
• W2022505402 hasConcept C187250869 @default.
• W2022505402 hasConcept C199360897 @default.
• W2022505402 hasConcept C206588197 @default.
• W2022505402 hasConcept C2777904410 @default.
• W2022505402 hasConcept C33054407 @default.
• W2022505402 hasConcept C40231798 @default.
• W2022505402 hasConcept C41008148 @default.
• W2022505402 hasConcept C41895202 @default.
• W2022505402 hasConcept C548081761 @default.
• W2022505402 hasConcept C55439883 @default.
• W2022505402 hasConcept C62460635 @default.
• W2022505402 hasConceptScore W2022505402C110251889 @default.
• W2022505402 hasConceptScore W2022505402C111498074 @default.
• W2022505402 hasConceptScore W2022505402C11413529 @default.
• W2022505402 hasConceptScore W2022505402C115903868 @default.
• W2022505402 hasConceptScore W2022505402C127413603 @default.
• W2022505402 hasConceptScore W2022505402C138885662 @default.
• W2022505402 hasConceptScore W2022505402C142284323 @default.
• W2022505402 hasConceptScore W2022505402C149091818 @default.
• W2022505402 hasConceptScore W2022505402C155512373 @default.
• W2022505402 hasConceptScore W2022505402C186846655 @default.
• W2022505402 hasConceptScore W2022505402C187250869 @default.
• W2022505402 hasConceptScore W2022505402C199360897 @default.
• W2022505402 hasConceptScore W2022505402C206588197 @default.
• W2022505402 hasConceptScore W2022505402C2777904410 @default.
• W2022505402 hasConceptScore W2022505402C33054407 @default.
• W2022505402 hasConceptScore W2022505402C40231798 @default.
• W2022505402 hasConceptScore W2022505402C41008148 @default.
• W2022505402 hasConceptScore W2022505402C41895202 @default.
• W2022505402 hasConceptScore W2022505402C548081761 @default.
• W2022505402 hasConceptScore W2022505402C55439883 @default.
• W2022505402 hasConceptScore W2022505402C62460635 @default.
• W2022505402 hasLocation W20225054021 @default.
• W2022505402 hasLocation W20225054022 @default.
• W2022505402 hasLocation W20225054023 @default.
• W2022505402 hasLocation W20225054024 @default.
• W2022505402 hasLocation W20225054025 @default.
• W2022505402 hasLocation W20225054026 @default.
• W2022505402 hasOpenAccess W2022505402 @default.
• W2022505402 hasPrimaryLocation W20225054021 @default.
• W2022505402 hasRelatedWork W1542124114 @default.
• W2022505402 hasRelatedWork W1563456403 @default.
• W2022505402 hasRelatedWork W2041785864 @default.
• W2022505402 hasRelatedWork W2087930812 @default.

• next