Browsing Computer Science by Author "Beidu, Sandy"
Now showing items 1-3 of 3
-
Incremental and Commutative Composition of State-Machine Models of Features
Beidu, Sandy; Atlee, Joanne M.; Shaker, Pourya (IEEE, 2015-05)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 ... -
Merging Features in Featured Transition Systems
Atlee, Joanne M.; Beidu, Sandy; Fahrenberg, Uli; Legay, Axel (CEUR, 2015-09)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 ... -
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
Ben-David, Shoham; Sterin, Baruch; Atlee, Joanne M.; Beidu, Sandy (IEEE, 2015-05)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 ...