Matches in SemOpenAlex for { <https://semopenalex.org/work/W2172146003> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2172146003 abstract "Research on features has received much attention in the domain engineering community. Feature modeling plays an important role in the design and implementation of complex software systems. However, the presentation and analysis of feature models are still largely informal. There is also an increasing need for methods and tools that can support automated feature model analysis. This paper presents a formal engineering approach to the specification and verification of feature models. A formal semantics for the feature modeling language is defined using first-order logic. It provides a precise and rigorous formal interpretation for the graphical notation. In addition, further validation of the semantics using the Z/EVES theorem prover is presented. Finally, we demonstrate that the consistency of a feature model and its configurations can be automatically verified by encoding the semantics into the Alloy Analyzer. A case study of the Key Word in Context (KWIC) index systems feature model is presented to illustrate the verification process." @default.
- W2172146003 created "2016-06-24" @default.
- W2172146003 creator A5000934031 @default.
- W2172146003 creator A5041954420 @default.
- W2172146003 creator A5058691896 @default.
- W2172146003 creator A5090339335 @default.
- W2172146003 date "2005-07-27" @default.
- W2172146003 modified "2023-10-18" @default.
- W2172146003 title "Formal Semantics and Verification for Feature Modeling" @default.
- W2172146003 cites W1591726984 @default.
- W2172146003 cites W2002454301 @default.
- W2172146003 cites W2090403712 @default.
- W2172146003 cites W2099106391 @default.
- W2172146003 cites W2114152285 @default.
- W2172146003 cites W2134119432 @default.
- W2172146003 cites W3160698033 @default.
- W2172146003 doi "https://doi.org/10.1109/iceccs.2005.48" @default.
- W2172146003 hasPublicationYear "2005" @default.
- W2172146003 type Work @default.
- W2172146003 sameAs 2172146003 @default.
- W2172146003 citedByCount "63" @default.
- W2172146003 countsByYear W21721460032012 @default.
- W2172146003 countsByYear W21721460032013 @default.
- W2172146003 countsByYear W21721460032014 @default.
- W2172146003 countsByYear W21721460032015 @default.
- W2172146003 countsByYear W21721460032016 @default.
- W2172146003 countsByYear W21721460032017 @default.
- W2172146003 countsByYear W21721460032019 @default.
- W2172146003 countsByYear W21721460032020 @default.
- W2172146003 countsByYear W21721460032021 @default.
- W2172146003 crossrefType "proceedings-article" @default.
- W2172146003 hasAuthorship W2172146003A5000934031 @default.
- W2172146003 hasAuthorship W2172146003A5041954420 @default.
- W2172146003 hasAuthorship W2172146003A5058691896 @default.
- W2172146003 hasAuthorship W2172146003A5090339335 @default.
- W2172146003 hasBestOaLocation W21721460032 @default.
- W2172146003 hasConcept C101814296 @default.
- W2172146003 hasConcept C111498074 @default.
- W2172146003 hasConcept C116253237 @default.
- W2172146003 hasConcept C138885662 @default.
- W2172146003 hasConcept C146499914 @default.
- W2172146003 hasConcept C151730666 @default.
- W2172146003 hasConcept C154945302 @default.
- W2172146003 hasConcept C184337299 @default.
- W2172146003 hasConcept C199360897 @default.
- W2172146003 hasConcept C2776401178 @default.
- W2172146003 hasConcept C2776436953 @default.
- W2172146003 hasConcept C2777904410 @default.
- W2172146003 hasConcept C2779343474 @default.
- W2172146003 hasConcept C41008148 @default.
- W2172146003 hasConcept C41895202 @default.
- W2172146003 hasConcept C75606506 @default.
- W2172146003 hasConcept C80444323 @default.
- W2172146003 hasConcept C86803240 @default.
- W2172146003 hasConceptScore W2172146003C101814296 @default.
- W2172146003 hasConceptScore W2172146003C111498074 @default.
- W2172146003 hasConceptScore W2172146003C116253237 @default.
- W2172146003 hasConceptScore W2172146003C138885662 @default.
- W2172146003 hasConceptScore W2172146003C146499914 @default.
- W2172146003 hasConceptScore W2172146003C151730666 @default.
- W2172146003 hasConceptScore W2172146003C154945302 @default.
- W2172146003 hasConceptScore W2172146003C184337299 @default.
- W2172146003 hasConceptScore W2172146003C199360897 @default.
- W2172146003 hasConceptScore W2172146003C2776401178 @default.
- W2172146003 hasConceptScore W2172146003C2776436953 @default.
- W2172146003 hasConceptScore W2172146003C2777904410 @default.
- W2172146003 hasConceptScore W2172146003C2779343474 @default.
- W2172146003 hasConceptScore W2172146003C41008148 @default.
- W2172146003 hasConceptScore W2172146003C41895202 @default.
- W2172146003 hasConceptScore W2172146003C75606506 @default.
- W2172146003 hasConceptScore W2172146003C80444323 @default.
- W2172146003 hasConceptScore W2172146003C86803240 @default.
- W2172146003 hasLocation W21721460031 @default.
- W2172146003 hasLocation W21721460032 @default.
- W2172146003 hasOpenAccess W2172146003 @default.
- W2172146003 hasPrimaryLocation W21721460031 @default.
- W2172146003 hasRelatedWork W1547334915 @default.
- W2172146003 hasRelatedWork W1563392290 @default.
- W2172146003 hasRelatedWork W1569780408 @default.
- W2172146003 hasRelatedWork W1592293578 @default.
- W2172146003 hasRelatedWork W2097810778 @default.
- W2172146003 hasRelatedWork W2152804907 @default.
- W2172146003 hasRelatedWork W2156223462 @default.
- W2172146003 hasRelatedWork W2176417916 @default.
- W2172146003 hasRelatedWork W2294570182 @default.
- W2172146003 hasRelatedWork W27605384 @default.
- W2172146003 isParatext "false" @default.
- W2172146003 isRetracted "false" @default.
- W2172146003 magId "2172146003" @default.
- W2172146003 workType "article" @default.