Matches in SemOpenAlex for { <https://semopenalex.org/work/W2981250354> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W2981250354 abstract "Software product lines are able to describe multiple products sharing a common base of features and are commonly described as feature models. For complex software product lines, automatic analyses are required to ensure validity and to improve the interactive configuration process. Modern SAT solvers are vital components for the validation process of feature models. The increasing variability of software product lines implies the need to use more expressive solvers like SMT solvers. To assist the development of feature modeling tools, we compare SAT and SMT solvers for the automated analysis of feature models. During this thesis, we create an abstract data type to formally define analyses for feature model defects and their explanations. The result shows that SAT solvers are more efficient at detecting the defects, while SMT solvers can find explanations for them multiple times faster. Feature models can be further expanded by attaching attributes to features. Such attributes may contain a numerical value. Additionally, one attribute can be defined for multiple features. In this thesis, we aim to support the interactive configuration process, by providing the range of the sum of values for an attribute. Such ranges depend on the remaining choices in a configuration of the product line. We provide an exact computation using SMT and an approximation using a heuristic. The evaluation results show that an SMT solver is not suitable for supporting interactive configuration. However, the approximated ranges of the provided heuristic were very close to the exact ones." @default.
- W2981250354 created "2019-10-25" @default.
- W2981250354 creator A5035888221 @default.
- W2981250354 creator A5036931582 @default.
- W2981250354 date "2018-01-01" @default.
- W2981250354 modified "2023-09-25" @default.
- W2981250354 title "Computing Attribute Ranges for Partial Configurations with JavaSMT: Bachelor's Thesis" @default.
- W2981250354 doi "https://doi.org/10.24355/dbbs.084-201807060926-0" @default.
- W2981250354 hasPublicationYear "2018" @default.
- W2981250354 type Work @default.
- W2981250354 sameAs 2981250354 @default.
- W2981250354 citedByCount "1" @default.
- W2981250354 countsByYear W29812503542021 @default.
- W2981250354 crossrefType "dissertation" @default.
- W2981250354 hasAuthorship W2981250354A5035888221 @default.
- W2981250354 hasAuthorship W2981250354A5036931582 @default.
- W2981250354 hasConcept C101814296 @default.
- W2981250354 hasConcept C11413529 @default.
- W2981250354 hasConcept C124101348 @default.
- W2981250354 hasConcept C127413603 @default.
- W2981250354 hasConcept C138885662 @default.
- W2981250354 hasConcept C146978453 @default.
- W2981250354 hasConcept C154945302 @default.
- W2981250354 hasConcept C173801870 @default.
- W2981250354 hasConcept C199360897 @default.
- W2981250354 hasConcept C204323151 @default.
- W2981250354 hasConcept C2524010 @default.
- W2981250354 hasConcept C2776401178 @default.
- W2981250354 hasConcept C2777904410 @default.
- W2981250354 hasConcept C2778177629 @default.
- W2981250354 hasConcept C2778770139 @default.
- W2981250354 hasConcept C33923547 @default.
- W2981250354 hasConcept C41008148 @default.
- W2981250354 hasConcept C41895202 @default.
- W2981250354 hasConcept C529173508 @default.
- W2981250354 hasConcept C80444323 @default.
- W2981250354 hasConcept C90673727 @default.
- W2981250354 hasConcept C98045186 @default.
- W2981250354 hasConceptScore W2981250354C101814296 @default.
- W2981250354 hasConceptScore W2981250354C11413529 @default.
- W2981250354 hasConceptScore W2981250354C124101348 @default.
- W2981250354 hasConceptScore W2981250354C127413603 @default.
- W2981250354 hasConceptScore W2981250354C138885662 @default.
- W2981250354 hasConceptScore W2981250354C146978453 @default.
- W2981250354 hasConceptScore W2981250354C154945302 @default.
- W2981250354 hasConceptScore W2981250354C173801870 @default.
- W2981250354 hasConceptScore W2981250354C199360897 @default.
- W2981250354 hasConceptScore W2981250354C204323151 @default.
- W2981250354 hasConceptScore W2981250354C2524010 @default.
- W2981250354 hasConceptScore W2981250354C2776401178 @default.
- W2981250354 hasConceptScore W2981250354C2777904410 @default.
- W2981250354 hasConceptScore W2981250354C2778177629 @default.
- W2981250354 hasConceptScore W2981250354C2778770139 @default.
- W2981250354 hasConceptScore W2981250354C33923547 @default.
- W2981250354 hasConceptScore W2981250354C41008148 @default.
- W2981250354 hasConceptScore W2981250354C41895202 @default.
- W2981250354 hasConceptScore W2981250354C529173508 @default.
- W2981250354 hasConceptScore W2981250354C80444323 @default.
- W2981250354 hasConceptScore W2981250354C90673727 @default.
- W2981250354 hasConceptScore W2981250354C98045186 @default.
- W2981250354 hasLocation W29812503541 @default.
- W2981250354 hasOpenAccess W2981250354 @default.
- W2981250354 hasPrimaryLocation W29812503541 @default.
- W2981250354 hasRelatedWork W1163856976 @default.
- W2981250354 hasRelatedWork W131057022 @default.
- W2981250354 hasRelatedWork W1965085982 @default.
- W2981250354 hasRelatedWork W19678273 @default.
- W2981250354 hasRelatedWork W2029320154 @default.
- W2981250354 hasRelatedWork W2053105359 @default.
- W2981250354 hasRelatedWork W2091302526 @default.
- W2981250354 hasRelatedWork W2187798471 @default.
- W2981250354 hasRelatedWork W2325720669 @default.
- W2981250354 hasRelatedWork W2620515231 @default.
- W2981250354 hasRelatedWork W2763153276 @default.
- W2981250354 hasRelatedWork W277163482 @default.
- W2981250354 hasRelatedWork W2941640074 @default.
- W2981250354 hasRelatedWork W3026474523 @default.
- W2981250354 hasRelatedWork W3107232269 @default.
- W2981250354 hasRelatedWork W3212480823 @default.
- W2981250354 hasRelatedWork W59203129 @default.
- W2981250354 hasRelatedWork W68404398 @default.
- W2981250354 hasRelatedWork W78511149 @default.
- W2981250354 hasRelatedWork W971048144 @default.
- W2981250354 isParatext "false" @default.
- W2981250354 isRetracted "false" @default.
- W2981250354 magId "2981250354" @default.
- W2981250354 workType "dissertation" @default.