Matches in SemOpenAlex for { <https://semopenalex.org/work/W2173900622> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2173900622 endingPage "75" @default.
- W2173900622 startingPage "61" @default.
- W2173900622 abstract "Software product line (SPL) engineering is a well-known approach to develop industry-size adaptable software systems. SPL are often used in domains where high-quality software is desirable; the overwhelming product diversity, however, remains a challenge for assuring correctness. In this paper, we present delta-oriented slicing, an approach to reduce the deductive verification effort across an SPL where individual products are Java programs and their relations are described by deltas. On the specification side, we extend the delta language to deal with formal specifications. On the verification side, we combine proof slicing and similarity-guided proof reuse to ease the verification process." @default.
- W2173900622 created "2016-06-24" @default.
- W2173900622 creator A5065261670 @default.
- W2173900622 creator A5080463753 @default.
- W2173900622 creator A5087068314 @default.
- W2173900622 date "2011-01-01" @default.
- W2173900622 modified "2023-09-24" @default.
- W2173900622 title "Verification of Software Product Lines with Delta-Oriented Slicing" @default.
- W2173900622 cites W1509367797 @default.
- W2173900622 cites W1546606300 @default.
- W2173900622 cites W1716364395 @default.
- W2173900622 cites W1949851419 @default.
- W2173900622 cites W1972502232 @default.
- W2173900622 cites W1999010821 @default.
- W2173900622 cites W2038899190 @default.
- W2173900622 cites W2075642720 @default.
- W2173900622 cites W2082677523 @default.
- W2173900622 cites W2094160561 @default.
- W2173900622 cites W2112000202 @default.
- W2173900622 cites W2293624369 @default.
- W2173900622 cites W2477378326 @default.
- W2173900622 cites W4233913718 @default.
- W2173900622 cites W4245271266 @default.
- W2173900622 doi "https://doi.org/10.1007/978-3-642-18070-5_5" @default.
- W2173900622 hasPublicationYear "2011" @default.
- W2173900622 type Work @default.
- W2173900622 sameAs 2173900622 @default.
- W2173900622 citedByCount "20" @default.
- W2173900622 countsByYear W21739006222012 @default.
- W2173900622 countsByYear W21739006222013 @default.
- W2173900622 countsByYear W21739006222014 @default.
- W2173900622 countsByYear W21739006222015 @default.
- W2173900622 countsByYear W21739006222016 @default.
- W2173900622 countsByYear W21739006222018 @default.
- W2173900622 countsByYear W21739006222020 @default.
- W2173900622 countsByYear W21739006222021 @default.
- W2173900622 countsByYear W21739006222022 @default.
- W2173900622 crossrefType "book-chapter" @default.
- W2173900622 hasAuthorship W2173900622A5065261670 @default.
- W2173900622 hasAuthorship W2173900622A5080463753 @default.
- W2173900622 hasAuthorship W2173900622A5087068314 @default.
- W2173900622 hasBestOaLocation W21739006222 @default.
- W2173900622 hasConcept C115903868 @default.
- W2173900622 hasConcept C127413603 @default.
- W2173900622 hasConcept C136764020 @default.
- W2173900622 hasConcept C186846655 @default.
- W2173900622 hasConcept C199360897 @default.
- W2173900622 hasConcept C206588197 @default.
- W2173900622 hasConcept C2776190703 @default.
- W2173900622 hasConcept C2777904410 @default.
- W2173900622 hasConcept C2778177629 @default.
- W2173900622 hasConcept C33054407 @default.
- W2173900622 hasConcept C41008148 @default.
- W2173900622 hasConcept C529173508 @default.
- W2173900622 hasConcept C548081761 @default.
- W2173900622 hasConcept C55439883 @default.
- W2173900622 hasConcept C91071405 @default.
- W2173900622 hasConceptScore W2173900622C115903868 @default.
- W2173900622 hasConceptScore W2173900622C127413603 @default.
- W2173900622 hasConceptScore W2173900622C136764020 @default.
- W2173900622 hasConceptScore W2173900622C186846655 @default.
- W2173900622 hasConceptScore W2173900622C199360897 @default.
- W2173900622 hasConceptScore W2173900622C206588197 @default.
- W2173900622 hasConceptScore W2173900622C2776190703 @default.
- W2173900622 hasConceptScore W2173900622C2777904410 @default.
- W2173900622 hasConceptScore W2173900622C2778177629 @default.
- W2173900622 hasConceptScore W2173900622C33054407 @default.
- W2173900622 hasConceptScore W2173900622C41008148 @default.
- W2173900622 hasConceptScore W2173900622C529173508 @default.
- W2173900622 hasConceptScore W2173900622C548081761 @default.
- W2173900622 hasConceptScore W2173900622C55439883 @default.
- W2173900622 hasConceptScore W2173900622C91071405 @default.
- W2173900622 hasLocation W21739006221 @default.
- W2173900622 hasLocation W21739006222 @default.
- W2173900622 hasOpenAccess W2173900622 @default.
- W2173900622 hasPrimaryLocation W21739006221 @default.
- W2173900622 hasRelatedWork W1487575185 @default.
- W2173900622 hasRelatedWork W1496187783 @default.
- W2173900622 hasRelatedWork W1504483725 @default.
- W2173900622 hasRelatedWork W157618887 @default.
- W2173900622 hasRelatedWork W1577054858 @default.
- W2173900622 hasRelatedWork W2187687714 @default.
- W2173900622 hasRelatedWork W2363837686 @default.
- W2173900622 hasRelatedWork W2367846948 @default.
- W2173900622 hasRelatedWork W3089305218 @default.
- W2173900622 hasRelatedWork W2509146924 @default.
- W2173900622 isParatext "false" @default.
- W2173900622 isRetracted "false" @default.
- W2173900622 magId "2173900622" @default.
- W2173900622 workType "book-chapter" @default.