In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...