RT Journal Article
JF Software Product Line Conference, International
YR 2011
VO 00
IS
SP 130
TI Formal Description of Variability in Product Families
A1 Maurice H. ter Beek,
A1 Stefania Gnesi,
A1 Patrizia Asirelli,
A1 Alessandro Fantechi,
K1
AB We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.
PB IEEE Computer Society, [URL:http://www.computer.org]
SN
LA English
DO 10.1109/SPLC.2011.34
LK http://doi.ieeecomputersociety.org/10.1109/SPLC.2011.34