1 × Denmark
1 × USA
C.Cetina J.Font Ø.Haugen A.C.Marcén V.Pelechano
variabl (2) model (2) locat (2) fragment (1) problem (1) languag (1) report (1) measur (1) formal (1) famili (1)
Person: Manuel Ballarín
Wrote 2 papers:
- SPLC-2015-FontBHC #automation #formal method #product line #variability
- Automating the variability formalization of a model family by means of common variability language (JF, MB, ØH, CC), pp. 411–418.
- MoDELS-2018-BallarinMPC #metric #problem
- Measures to report the Location Problem of Model Fragment Location (MB, ACM, VP, CC), pp. 189–199.