Search
Now showing items 1-10 of 97
Long-term Average Cost in Featured Transition Systems
(ACM, 2016-09)
A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ...
Measuring Behaviour Interactions between Product-Line Features
(IEEE, 2015-05)
We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift ...
Incremental and Commutative Composition of State-Machine Models of Features
(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 ...
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
(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 ...
BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment
(ACM, 2016-11)
In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ...
Merging Features in Featured Transition Systems
(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 ...
Food Literacy while Shopping: Motivating Informed Food Purchasing Behaviour with a Situated Gameful App
(ACM, 2020-04-25)
Establishing healthy eating patterns early in life is critical and has implications for lifelong health. Situated interventions are a promising approach to improve eating patterns. How- ever, HCI research has emphasized ...
Gearbox Fault Detection using Synchro-squeezing Transform
(Elsevier, 2016)
This paper presents a novel fault-detection method for gearbox vibration signatures using synchro-squeezing transform (SST). Premised upon the concept of time-frequency (TF) reassignment, SST provides a sharp representation ...
Novelty Detection in Airport Baggage Conveyor Gear-Motors Using Synchro-Squeezing Transform and Self-Organizing Maps
(Prognostic and Health Management Society, 2013)
A powerful continuous wavelet transform based signal processing tool named Synchro-squeezing transform (SST) has recently emerged in the context of non-stationary signal processing. Founded upon the premise of time-frequency ...
Towards Understanding the Importance of Co-Located Gameplay
(Association for Computing Machinery, 2015-10-05)
Analyzing the social con¬text present in a gameplay environment and its effect on player experience can provide insights informing the design and social value of games. We investigate the influence of social condition ...