Matches in SemOpenAlex for { <https://semopenalex.org/work/W2019709700> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W2019709700 abstract "Feature models and configuration knowledge drive product generation in a Software Product Line (SPL). Mistakes when specifying these models or in the implementation might result in ill-formed products-- the safe composition problem. This work proposes an automated approach for verifying safe composition for SPLs with explicit configuration knowledge models. We translate feature models and configuration knowledge into propositional logic and use SAT Solvers to perform the verification. We evaluate our approach using seven releases of the MobileMedia SPL, which generate up to 272 products in the 7th release. We report safe composition problems related to non-conformity with the feature model, bad specification of the configuration knowledge, and implementation not envisioning the full SPL scope, that affect over 40% of the products in the 7th release." @default.
- W2019709700 created "2016-06-24" @default.
- W2019709700 creator A5061752509 @default.
- W2019709700 creator A5073460644 @default.
- W2019709700 creator A5075988425 @default.
- W2019709700 date "2011-09-01" @default.
- W2019709700 modified "2023-10-03" @default.
- W2019709700 title "Safe Composition of Configuration Knowledge-Based Software Product Lines" @default.
- W2019709700 cites W1844284172 @default.
- W2019709700 cites W1952332000 @default.
- W2019709700 cites W1985107823 @default.
- W2019709700 cites W1999214372 @default.
- W2019709700 cites W2048580982 @default.
- W2019709700 cites W2059639972 @default.
- W2019709700 cites W2071797673 @default.
- W2019709700 cites W2082677523 @default.
- W2019709700 cites W2117352154 @default.
- W2019709700 cites W2135467250 @default.
- W2019709700 cites W2165534348 @default.
- W2019709700 cites W2171002355 @default.
- W2019709700 cites W2477378326 @default.
- W2019709700 cites W4236083017 @default.
- W2019709700 doi "https://doi.org/10.1109/sbes.2011.15" @default.
- W2019709700 hasPublicationYear "2011" @default.
- W2019709700 type Work @default.
- W2019709700 sameAs 2019709700 @default.
- W2019709700 citedByCount "3" @default.
- W2019709700 countsByYear W20197097002012 @default.
- W2019709700 countsByYear W20197097002013 @default.
- W2019709700 countsByYear W20197097002014 @default.
- W2019709700 crossrefType "proceedings-article" @default.
- W2019709700 hasAuthorship W2019709700A5061752509 @default.
- W2019709700 hasAuthorship W2019709700A5073460644 @default.
- W2019709700 hasAuthorship W2019709700A5075988425 @default.
- W2019709700 hasConcept C101814296 @default.
- W2019709700 hasConcept C115903868 @default.
- W2019709700 hasConcept C138885662 @default.
- W2019709700 hasConcept C199360897 @default.
- W2019709700 hasConcept C2524010 @default.
- W2019709700 hasConcept C2776401178 @default.
- W2019709700 hasConcept C2777904410 @default.
- W2019709700 hasConcept C2778012447 @default.
- W2019709700 hasConcept C2778177629 @default.
- W2019709700 hasConcept C33923547 @default.
- W2019709700 hasConcept C40231798 @default.
- W2019709700 hasConcept C41008148 @default.
- W2019709700 hasConcept C41895202 @default.
- W2019709700 hasConcept C529173508 @default.
- W2019709700 hasConcept C90673727 @default.
- W2019709700 hasConceptScore W2019709700C101814296 @default.
- W2019709700 hasConceptScore W2019709700C115903868 @default.
- W2019709700 hasConceptScore W2019709700C138885662 @default.
- W2019709700 hasConceptScore W2019709700C199360897 @default.
- W2019709700 hasConceptScore W2019709700C2524010 @default.
- W2019709700 hasConceptScore W2019709700C2776401178 @default.
- W2019709700 hasConceptScore W2019709700C2777904410 @default.
- W2019709700 hasConceptScore W2019709700C2778012447 @default.
- W2019709700 hasConceptScore W2019709700C2778177629 @default.
- W2019709700 hasConceptScore W2019709700C33923547 @default.
- W2019709700 hasConceptScore W2019709700C40231798 @default.
- W2019709700 hasConceptScore W2019709700C41008148 @default.
- W2019709700 hasConceptScore W2019709700C41895202 @default.
- W2019709700 hasConceptScore W2019709700C529173508 @default.
- W2019709700 hasConceptScore W2019709700C90673727 @default.
- W2019709700 hasLocation W20197097001 @default.
- W2019709700 hasOpenAccess W2019709700 @default.
- W2019709700 hasPrimaryLocation W20197097001 @default.
- W2019709700 hasRelatedWork W1545582612 @default.
- W2019709700 hasRelatedWork W2117411814 @default.
- W2019709700 hasRelatedWork W2167821086 @default.
- W2019709700 hasRelatedWork W2171149158 @default.
- W2019709700 hasRelatedWork W2358837939 @default.
- W2019709700 hasRelatedWork W2374533642 @default.
- W2019709700 hasRelatedWork W2903450681 @default.
- W2019709700 hasRelatedWork W2968805689 @default.
- W2019709700 hasRelatedWork W2976955716 @default.
- W2019709700 hasRelatedWork W4253469356 @default.
- W2019709700 isParatext "false" @default.
- W2019709700 isRetracted "false" @default.
- W2019709700 magId "2019709700" @default.
- W2019709700 workType "article" @default.