Matches in SemOpenAlex for { <https://semopenalex.org/work/W2940375023> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2940375023 abstract "Feature model is a popular formalism for describing the commonality and variability of a software product line in terms of features. Feature models symbolise a presentation of the possible application configuration space, and can be customised based on specific domain requirements and stakeholder goals. As feature models are becoming increasingly complex, it is desired to provide automatic support for customised analysis and verification based on the specific goals and requirements of stakeholders. This paper first presents feature model slicing based on the requirements of the users. We then introduce three-valued abstraction of behaviour models based on the slicing unit. Finally, based on multi-valued model checker, a case study was conducted to illustrate the effectiveness of our approach." @default.
- W2940375023 created "2019-04-25" @default.
- W2940375023 creator A5004290542 @default.
- W2940375023 creator A5019504859 @default.
- W2940375023 date "2019-01-01" @default.
- W2940375023 modified "2023-09-24" @default.
- W2940375023 title "Model checking software product lines based on feature slicing" @default.
- W2940375023 doi "https://doi.org/10.1504/ijcse.2019.10020473" @default.
- W2940375023 hasPublicationYear "2019" @default.
- W2940375023 type Work @default.
- W2940375023 sameAs 2940375023 @default.
- W2940375023 citedByCount "0" @default.
- W2940375023 crossrefType "journal-article" @default.
- W2940375023 hasAuthorship W2940375023A5004290542 @default.
- W2940375023 hasAuthorship W2940375023A5019504859 @default.
- W2940375023 hasConcept C101814296 @default.
- W2940375023 hasConcept C110251889 @default.
- W2940375023 hasConcept C111472728 @default.
- W2940375023 hasConcept C115903868 @default.
- W2940375023 hasConcept C117671659 @default.
- W2940375023 hasConcept C124101348 @default.
- W2940375023 hasConcept C124304363 @default.
- W2940375023 hasConcept C127413603 @default.
- W2940375023 hasConcept C134306372 @default.
- W2940375023 hasConcept C136764020 @default.
- W2940375023 hasConcept C138885662 @default.
- W2940375023 hasConcept C142362112 @default.
- W2940375023 hasConcept C149091818 @default.
- W2940375023 hasConcept C153349607 @default.
- W2940375023 hasConcept C15708719 @default.
- W2940375023 hasConcept C186846655 @default.
- W2940375023 hasConcept C199360897 @default.
- W2940375023 hasConcept C2776190703 @default.
- W2940375023 hasConcept C2776401178 @default.
- W2940375023 hasConcept C2777904410 @default.
- W2940375023 hasConcept C2778177629 @default.
- W2940375023 hasConcept C2988046880 @default.
- W2940375023 hasConcept C33923547 @default.
- W2940375023 hasConcept C36503486 @default.
- W2940375023 hasConcept C41008148 @default.
- W2940375023 hasConcept C41895202 @default.
- W2940375023 hasConcept C529173508 @default.
- W2940375023 hasConcept C558565934 @default.
- W2940375023 hasConcept C5977032 @default.
- W2940375023 hasConcept C73301696 @default.
- W2940375023 hasConcept C91071405 @default.
- W2940375023 hasConceptScore W2940375023C101814296 @default.
- W2940375023 hasConceptScore W2940375023C110251889 @default.
- W2940375023 hasConceptScore W2940375023C111472728 @default.
- W2940375023 hasConceptScore W2940375023C115903868 @default.
- W2940375023 hasConceptScore W2940375023C117671659 @default.
- W2940375023 hasConceptScore W2940375023C124101348 @default.
- W2940375023 hasConceptScore W2940375023C124304363 @default.
- W2940375023 hasConceptScore W2940375023C127413603 @default.
- W2940375023 hasConceptScore W2940375023C134306372 @default.
- W2940375023 hasConceptScore W2940375023C136764020 @default.
- W2940375023 hasConceptScore W2940375023C138885662 @default.
- W2940375023 hasConceptScore W2940375023C142362112 @default.
- W2940375023 hasConceptScore W2940375023C149091818 @default.
- W2940375023 hasConceptScore W2940375023C153349607 @default.
- W2940375023 hasConceptScore W2940375023C15708719 @default.
- W2940375023 hasConceptScore W2940375023C186846655 @default.
- W2940375023 hasConceptScore W2940375023C199360897 @default.
- W2940375023 hasConceptScore W2940375023C2776190703 @default.
- W2940375023 hasConceptScore W2940375023C2776401178 @default.
- W2940375023 hasConceptScore W2940375023C2777904410 @default.
- W2940375023 hasConceptScore W2940375023C2778177629 @default.
- W2940375023 hasConceptScore W2940375023C2988046880 @default.
- W2940375023 hasConceptScore W2940375023C33923547 @default.
- W2940375023 hasConceptScore W2940375023C36503486 @default.
- W2940375023 hasConceptScore W2940375023C41008148 @default.
- W2940375023 hasConceptScore W2940375023C41895202 @default.
- W2940375023 hasConceptScore W2940375023C529173508 @default.
- W2940375023 hasConceptScore W2940375023C558565934 @default.
- W2940375023 hasConceptScore W2940375023C5977032 @default.
- W2940375023 hasConceptScore W2940375023C73301696 @default.
- W2940375023 hasConceptScore W2940375023C91071405 @default.
- W2940375023 hasLocation W29403750231 @default.
- W2940375023 hasOpenAccess W2940375023 @default.
- W2940375023 hasPrimaryLocation W29403750231 @default.
- W2940375023 hasRelatedWork W2018862503 @default.
- W2940375023 hasRelatedWork W2060701058 @default.
- W2940375023 hasRelatedWork W2098270941 @default.
- W2940375023 hasRelatedWork W2113770490 @default.
- W2940375023 hasRelatedWork W2117443522 @default.
- W2940375023 hasRelatedWork W2242834312 @default.
- W2940375023 hasRelatedWork W2341836691 @default.
- W2940375023 hasRelatedWork W2940375023 @default.
- W2940375023 hasRelatedWork W3190195132 @default.
- W2940375023 hasRelatedWork W2791248689 @default.
- W2940375023 isParatext "false" @default.
- W2940375023 isRetracted "false" @default.
- W2940375023 magId "2940375023" @default.
- W2940375023 workType "article" @default.