Matches in SemOpenAlex for { <https://semopenalex.org/work/W2046131506> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2046131506 endingPage "76" @default.
- W2046131506 startingPage "52" @default.
- W2046131506 abstract "Software Product Line (SPL) provides the facility to systematically reuse of software improving the efficiency of software development regarding time, cost and quality. The main idea of SPL is to identify the common core functionality that can be implemented once and reused afterwards. A variant model has also to be developed to manage the variants of the SPL. Usually, a domain model consisting of the common and variant requirements is developed during domain engineering phase to alleviate the reuse opportunity. The authors present a product line model comprising of a variant part for the management of variant and a decision table to depict the customization of decision regarding each variant. Feature diagrams are widely used to model SPL variants. Both feature diagram and our variant model, which is based on tabular method, lacks logically sound formal representation and hence, not amenable to formal verification. Formal representation and verification of SPL has gained much interest in recent years. This chapter presents a logical representation of the variant model by using first order logic. With this representation, the table based variant model as well as the graphical feature diagram can now be verified logically. Besides applying first-order-logic to model the features, the authors also present an approach to model and analyze SPL model by using semantic web approach using OWL-DL. The OWL-DL representation also facilitates the search and maintenance of feature models and support knowledge sharing within a reusable engineering context. Reasoning tools are used to verify the consistency of the feature configuration for both logic-based and semantic web-based approaches." @default.
- W2046131506 created "2016-06-24" @default.
- W2046131506 creator A5025711040 @default.
- W2046131506 creator A5073052311 @default.
- W2046131506 creator A5086217459 @default.
- W2046131506 date "2014-10-01" @default.
- W2046131506 modified "2023-09-27" @default.
- W2046131506 title "Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model" @default.
- W2046131506 cites W1509367797 @default.
- W2046131506 cites W1571440521 @default.
- W2046131506 cites W1577506174 @default.
- W2046131506 cites W1591726984 @default.
- W2046131506 cites W1605891877 @default.
- W2046131506 cites W1990890881 @default.
- W2046131506 cites W2030376816 @default.
- W2046131506 cites W2050625311 @default.
- W2046131506 cites W2060440626 @default.
- W2046131506 cites W2077350004 @default.
- W2046131506 cites W2090537814 @default.
- W2046131506 cites W2094810043 @default.
- W2046131506 cites W2099213660 @default.
- W2046131506 cites W2128967738 @default.
- W2046131506 cites W2164947858 @default.
- W2046131506 cites W2172146003 @default.
- W2046131506 cites W2294168344 @default.
- W2046131506 cites W3145038047 @default.
- W2046131506 doi "https://doi.org/10.4018/ijkss.2014100104" @default.
- W2046131506 hasPublicationYear "2014" @default.
- W2046131506 type Work @default.
- W2046131506 sameAs 2046131506 @default.
- W2046131506 citedByCount "1" @default.
- W2046131506 countsByYear W20461315062014 @default.
- W2046131506 crossrefType "journal-article" @default.
- W2046131506 hasAuthorship W2046131506A5025711040 @default.
- W2046131506 hasAuthorship W2046131506A5073052311 @default.
- W2046131506 hasAuthorship W2046131506A5086217459 @default.
- W2046131506 hasConcept C101814296 @default.
- W2046131506 hasConcept C115903868 @default.
- W2046131506 hasConcept C124101348 @default.
- W2046131506 hasConcept C134306372 @default.
- W2046131506 hasConcept C138885662 @default.
- W2046131506 hasConcept C174683762 @default.
- W2046131506 hasConcept C18903297 @default.
- W2046131506 hasConcept C199360897 @default.
- W2046131506 hasConcept C206588197 @default.
- W2046131506 hasConcept C207685749 @default.
- W2046131506 hasConcept C2776401178 @default.
- W2046131506 hasConcept C2777904410 @default.
- W2046131506 hasConcept C2778177629 @default.
- W2046131506 hasConcept C33923547 @default.
- W2046131506 hasConcept C36503486 @default.
- W2046131506 hasConcept C41008148 @default.
- W2046131506 hasConcept C41895202 @default.
- W2046131506 hasConcept C529173508 @default.
- W2046131506 hasConcept C5977032 @default.
- W2046131506 hasConcept C86803240 @default.
- W2046131506 hasConcept C92548554 @default.
- W2046131506 hasConceptScore W2046131506C101814296 @default.
- W2046131506 hasConceptScore W2046131506C115903868 @default.
- W2046131506 hasConceptScore W2046131506C124101348 @default.
- W2046131506 hasConceptScore W2046131506C134306372 @default.
- W2046131506 hasConceptScore W2046131506C138885662 @default.
- W2046131506 hasConceptScore W2046131506C174683762 @default.
- W2046131506 hasConceptScore W2046131506C18903297 @default.
- W2046131506 hasConceptScore W2046131506C199360897 @default.
- W2046131506 hasConceptScore W2046131506C206588197 @default.
- W2046131506 hasConceptScore W2046131506C207685749 @default.
- W2046131506 hasConceptScore W2046131506C2776401178 @default.
- W2046131506 hasConceptScore W2046131506C2777904410 @default.
- W2046131506 hasConceptScore W2046131506C2778177629 @default.
- W2046131506 hasConceptScore W2046131506C33923547 @default.
- W2046131506 hasConceptScore W2046131506C36503486 @default.
- W2046131506 hasConceptScore W2046131506C41008148 @default.
- W2046131506 hasConceptScore W2046131506C41895202 @default.
- W2046131506 hasConceptScore W2046131506C529173508 @default.
- W2046131506 hasConceptScore W2046131506C5977032 @default.
- W2046131506 hasConceptScore W2046131506C86803240 @default.
- W2046131506 hasConceptScore W2046131506C92548554 @default.
- W2046131506 hasIssue "4" @default.
- W2046131506 hasLocation W20461315061 @default.
- W2046131506 hasOpenAccess W2046131506 @default.
- W2046131506 hasPrimaryLocation W20461315061 @default.
- W2046131506 hasRelatedWork W1574184815 @default.
- W2046131506 hasRelatedWork W2011440185 @default.
- W2046131506 hasRelatedWork W2039575910 @default.
- W2046131506 hasRelatedWork W2070324084 @default.
- W2046131506 hasRelatedWork W2129074048 @default.
- W2046131506 hasRelatedWork W2364507830 @default.
- W2046131506 hasRelatedWork W2373307420 @default.
- W2046131506 hasRelatedWork W2381077915 @default.
- W2046131506 hasRelatedWork W2406821610 @default.
- W2046131506 hasRelatedWork W4308009244 @default.
- W2046131506 hasVolume "5" @default.
- W2046131506 isParatext "false" @default.
- W2046131506 isRetracted "false" @default.
- W2046131506 magId "2046131506" @default.
- W2046131506 workType "article" @default.