FRINK Linked Data Fragments server

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

• W2142960988 abstract "In product line engineering individual products are derived from the domain artifacts of the product line. The reuse of the domain artifacts is constraint by the product line variability. Since domain artifacts are reused in several products, product line engineering benefits from the verification of domain artifacts. For verifying development artifacts, model checking is a well-established technique in single system development. However, existing model checking approaches do not incorporate the product line variability and are hence of limited use for verifying domain artifacts. In this paper we present an extended model checking approach which takes the product line variability into account when verifying domain artifacts. Our approach is thus able to verify that every permissible product (specified with I/O-automata) which can be derived from the product line fulfills the specified properties (specified with CTL). Moreover, we use two examples to validate the applicability of our approach and report on the preliminary validation results." @default.
• W2142960988 created "2016-06-24" @default.
• W2142960988 creator A5006857014 @default.
• W2142960988 creator A5013117788 @default.
• W2142960988 creator A5074036780 @default.
• W2142960988 date "2009-11-01" @default.
• W2142960988 modified "2023-10-06" @default.
• W2142960988 title "Model Checking of Domain Artifacts in Product Line Engineering" @default.
• W2142960988 cites W1972612110 @default.
• W2142960988 cites W2477378326 @default.
• W2142960988 cites W2506987745 @default.
• W2142960988 doi "https://doi.org/10.1109/ase.2009.16" @default.
• W2142960988 hasPublicationYear "2009" @default.
• W2142960988 type Work @default.
• W2142960988 sameAs 2142960988 @default.
• W2142960988 citedByCount "120" @default.
• W2142960988 countsByYear W21429609882012 @default.
• W2142960988 countsByYear W21429609882013 @default.
• W2142960988 countsByYear W21429609882014 @default.
• W2142960988 countsByYear W21429609882015 @default.
• W2142960988 countsByYear W21429609882016 @default.
• W2142960988 countsByYear W21429609882017 @default.
• W2142960988 countsByYear W21429609882018 @default.
• W2142960988 countsByYear W21429609882019 @default.
• W2142960988 countsByYear W21429609882020 @default.
• W2142960988 countsByYear W21429609882021 @default.
• W2142960988 countsByYear W21429609882022 @default.
• W2142960988 countsByYear W21429609882023 @default.
• W2142960988 crossrefType "proceedings-article" @default.
• W2142960988 hasAuthorship W2142960988A5006857014 @default.
• W2142960988 hasAuthorship W2142960988A5013117788 @default.
• W2142960988 hasAuthorship W2142960988A5074036780 @default.
• W2142960988 hasConcept C110251889 @default.
• W2142960988 hasConcept C11413529 @default.
• W2142960988 hasConcept C115903868 @default.
• W2142960988 hasConcept C117671659 @default.
• W2142960988 hasConcept C120823896 @default.
• W2142960988 hasConcept C127413603 @default.
• W2142960988 hasConcept C134306372 @default.
• W2142960988 hasConcept C144133560 @default.
• W2142960988 hasConcept C154945302 @default.
• W2142960988 hasConcept C15708719 @default.
• W2142960988 hasConcept C162853370 @default.
• W2142960988 hasConcept C174683762 @default.
• W2142960988 hasConcept C186846655 @default.
• W2142960988 hasConcept C19351080 @default.
• W2142960988 hasConcept C198352243 @default.
• W2142960988 hasConcept C199360897 @default.
• W2142960988 hasConcept C206588197 @default.
• W2142960988 hasConcept C207685749 @default.
• W2142960988 hasConcept C2524010 @default.
• W2142960988 hasConcept C2776036281 @default.
• W2142960988 hasConcept C2777904410 @default.
• W2142960988 hasConcept C2778177629 @default.
• W2142960988 hasConcept C2779010991 @default.
• W2142960988 hasConcept C2988046880 @default.
• W2142960988 hasConcept C33923547 @default.
• W2142960988 hasConcept C36503486 @default.
• W2142960988 hasConcept C41008148 @default.
• W2142960988 hasConcept C45135082 @default.
• W2142960988 hasConcept C529173508 @default.
• W2142960988 hasConcept C548081761 @default.
• W2142960988 hasConcept C5977032 @default.
• W2142960988 hasConcept C90673727 @default.
• W2142960988 hasConcept C92548554 @default.
• W2142960988 hasConceptScore W2142960988C110251889 @default.
• W2142960988 hasConceptScore W2142960988C11413529 @default.
• W2142960988 hasConceptScore W2142960988C115903868 @default.
• W2142960988 hasConceptScore W2142960988C117671659 @default.
• W2142960988 hasConceptScore W2142960988C120823896 @default.
• W2142960988 hasConceptScore W2142960988C127413603 @default.
• W2142960988 hasConceptScore W2142960988C134306372 @default.
• W2142960988 hasConceptScore W2142960988C144133560 @default.
• W2142960988 hasConceptScore W2142960988C154945302 @default.
• W2142960988 hasConceptScore W2142960988C15708719 @default.
• W2142960988 hasConceptScore W2142960988C162853370 @default.
• W2142960988 hasConceptScore W2142960988C174683762 @default.
• W2142960988 hasConceptScore W2142960988C186846655 @default.
• W2142960988 hasConceptScore W2142960988C19351080 @default.
• W2142960988 hasConceptScore W2142960988C198352243 @default.
• W2142960988 hasConceptScore W2142960988C199360897 @default.
• W2142960988 hasConceptScore W2142960988C206588197 @default.
• W2142960988 hasConceptScore W2142960988C207685749 @default.
• W2142960988 hasConceptScore W2142960988C2524010 @default.
• W2142960988 hasConceptScore W2142960988C2776036281 @default.
• W2142960988 hasConceptScore W2142960988C2777904410 @default.
• W2142960988 hasConceptScore W2142960988C2778177629 @default.
• W2142960988 hasConceptScore W2142960988C2779010991 @default.
• W2142960988 hasConceptScore W2142960988C2988046880 @default.
• W2142960988 hasConceptScore W2142960988C33923547 @default.
• W2142960988 hasConceptScore W2142960988C36503486 @default.
• W2142960988 hasConceptScore W2142960988C41008148 @default.
• W2142960988 hasConceptScore W2142960988C45135082 @default.
• W2142960988 hasConceptScore W2142960988C529173508 @default.
• W2142960988 hasConceptScore W2142960988C548081761 @default.
• W2142960988 hasConceptScore W2142960988C5977032 @default.
• W2142960988 hasConceptScore W2142960988C90673727 @default.
• W2142960988 hasConceptScore W2142960988C92548554 @default.
• W2142960988 hasLocation W21429609881 @default.
• W2142960988 hasOpenAccess W2142960988 @default.

• next