55 search results - page 2 / 11 » Safe composition of product lines |
ICSE
2007
IEEE-ACM
14 years 10 months ago
2007
IEEE-ACM
PLFaultCAT is a tool for software fault tree analysis (SFTA) during product-line engineering. When linked with DECIMAL, a product-line requirements verification tool, the enhanced...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
MKWI
2008
13 years 11 months ago
2008
Abstract: In order to fulfil sets of similar user requirements within a specific application domain, one typically uses software product line engineering. In this paper, we investi...
ASE
2011
13 years 5 months ago
2011
This paper introduces a technique for incremental and compositional model checking that allows efficient reuse of model-checking results associated with the features in a product l...
GPCE
2008
Springer
13 years 11 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...