Compositional Verification of Software Product Lines
- 1 January 2013
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 30 references indexed in Scilit:
- Compositional Verification of Software Product LinesLecture Notes in Computer Science, 2013
- A constraint-based variability modeling frameworkInternational Journal on Software Tools for Technology Transfer, 2012
- Compositional model checking of software product lines using variation point obligationsAutomated Software Engineering, 2010
- Automated analysis of feature models 20 years later: A literature reviewInformation Systems, 2010
- Managing Variability in Reusable Requirement Models for Software Product LinesLecture Notes in Computer Science, 2008
- A calculus for uniform feature compositionACM Transactions on Programming Languages and Systems, 2008
- Modeling and Model Checking Software Product LinesLecture Notes in Computer Science, 2008
- Foundations of incremental aspect model-checkingACM Transactions on Software Engineering and Methodology, 2007
- Modal I/O Automata for Interface and Product Line TheoriesLecture Notes in Computer Science, 2007
- Feature Models, Grammars, and Propositional FormulasLecture Notes in Computer Science, 2005