Matches in SemOpenAlex for { <https://semopenalex.org/work/W2053637052> ?p ?o ?g. }
Showing items 1 to 57 of
57
with 100 items per page.
- W2053637052 abstract "Important aspects in dealing with software product lines are correctness, necessity, and efficiency. We present an open-source tool capable of producing minimal configurations for a specification in the Unified Modeling Language which allows us to model both hardware configurations and software product lines. Our approach translates the specification into an Integer Linear Program which allows the user to verify the correctness of configurations. Real-world applications range from the railway domain to Debian GNU/Linux package management and Linux kernel configuration." @default.
- W2053637052 created "2016-06-24" @default.
- W2053637052 creator A5040834876 @default.
- W2053637052 date "2011-08-21" @default.
- W2053637052 modified "2023-09-25" @default.
- W2053637052 title "Efficient configuration and verification of software product lines" @default.
- W2053637052 cites W2070757058 @default.
- W2053637052 cites W2113226463 @default.
- W2053637052 doi "https://doi.org/10.1145/2019136.2019193" @default.
- W2053637052 hasPublicationYear "2011" @default.
- W2053637052 type Work @default.
- W2053637052 sameAs 2053637052 @default.
- W2053637052 citedByCount "2" @default.
- W2053637052 countsByYear W20536370522013 @default.
- W2053637052 crossrefType "proceedings-article" @default.
- W2053637052 hasAuthorship W2053637052A5040834876 @default.
- W2053637052 hasConcept C115903868 @default.
- W2053637052 hasConcept C149091818 @default.
- W2053637052 hasConcept C186846655 @default.
- W2053637052 hasConcept C199360897 @default.
- W2053637052 hasConcept C2524010 @default.
- W2053637052 hasConcept C2777904410 @default.
- W2053637052 hasConcept C2778177629 @default.
- W2053637052 hasConcept C33054407 @default.
- W2053637052 hasConcept C33923547 @default.
- W2053637052 hasConcept C41008148 @default.
- W2053637052 hasConcept C529173508 @default.
- W2053637052 hasConcept C90673727 @default.
- W2053637052 hasConceptScore W2053637052C115903868 @default.
- W2053637052 hasConceptScore W2053637052C149091818 @default.
- W2053637052 hasConceptScore W2053637052C186846655 @default.
- W2053637052 hasConceptScore W2053637052C199360897 @default.
- W2053637052 hasConceptScore W2053637052C2524010 @default.
- W2053637052 hasConceptScore W2053637052C2777904410 @default.
- W2053637052 hasConceptScore W2053637052C2778177629 @default.
- W2053637052 hasConceptScore W2053637052C33054407 @default.
- W2053637052 hasConceptScore W2053637052C33923547 @default.
- W2053637052 hasConceptScore W2053637052C41008148 @default.
- W2053637052 hasConceptScore W2053637052C529173508 @default.
- W2053637052 hasConceptScore W2053637052C90673727 @default.
- W2053637052 hasLocation W20536370521 @default.
- W2053637052 hasOpenAccess W2053637052 @default.
- W2053637052 hasPrimaryLocation W20536370521 @default.
- W2053637052 hasRelatedWork W120269850 @default.
- W2053637052 hasRelatedWork W1600995746 @default.
- W2053637052 hasRelatedWork W204748006 @default.
- W2053637052 hasRelatedWork W2054479541 @default.
- W2053637052 hasRelatedWork W228416522 @default.
- W2053637052 hasRelatedWork W2347547156 @default.
- W2053637052 hasRelatedWork W2356158875 @default.
- W2053637052 hasRelatedWork W2360518820 @default.
- W2053637052 hasRelatedWork W2367699234 @default.
- W2053637052 hasRelatedWork W4308041143 @default.
- W2053637052 isParatext "false" @default.
- W2053637052 isRetracted "false" @default.
- W2053637052 magId "2053637052" @default.
- W2053637052 workType "article" @default.