Now showing items 1-3 of 3
Incremental and Commutative Composition of State-Machine Models of Features
In this paper, we present a technique for incre- mental and commutative composition of state-machine models of features, using the FeatureHouse framework. The inputs to FeatureHouse are feature state-machines (or state-machine ...
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
Product line (PL) engineering promotes the de- velopment of families of related products, where individual products are differentiated by which optional features they include. Modelling and analyzing requirements models ...
Merging Features in Featured Transition Systems
Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, in which feature-specific behaviour is guarded ...