TY  - JOUR
AU  - Camacho, Carlos
AU  - Llana Díaz, Luis Fernando
AU  - Núñez Covarrubias, Alberto
AU  - Bravetti, Mario
PY  - 2019
DO  - 10.1016/J.JLAMP.2019.05.007
SN  - 2352-2208
UR  - https://hdl.handle.net/20.500.14352/112911
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - We introduce a probabilistic extension of our previous work SPLA: a formal framework to specify and analyze software product lines. We use probabilistic information to identify those features that are more frequently used. This is done by computing...
LA  - eng
M2  - 54
PB  - Elsevier
KW  - Software product lines
KW  - Probabilistic models
KW  - Formal methods
KW  - Feature models
TI  - Probabilistic software product lines
TY  - journal article
VL  - 107
ER  -