Publications
2012 | ||
---|---|---|
8 |
Quality-aware analysis in product line engineering with the orthogonal variability model. Software Quality Journal. 2012;20: Special Issue on Quality Engineering for Software Product Lines:519-65. | |
7 |
FaMa-OVM: A Tool for the Automated Analysis of OVMs. In: Proceedings of the International Software Product Line Conference, SPLC 2012. ACM; 2012. p. 250-4. |
2011 | ||
---|---|---|
6 |
Extracting orthogonal variability models from Debian repositories. In: Proc. of 2nd International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011), co-located with Software Product Line Conference 2011 (SPLC 2011). Munich: Fraunhofer; 2011. p. 8. |
2010 | ||
---|---|---|
5 |
Automated Analysis of Orthogonal Variability Models using Constraint Programming. In: XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010). Vol 1. Valencia, España; 2010. p. 269-80. |
2009 | ||
---|---|---|
4 |
Feature Model to Orthogonal Variability Model Transformations. A First Step. In: Actas del VI Taller sobre Desarrollo de Software Dirigido por Modelos. Actas de los talleres de las JISBD09. Vol 3. San Sebastián, España; 2009. p. 81-90. | |
3 |
Feature Model to Orthogonal Variability Model Transformation towards Interoperability between Tools. In: Knowledge Industry Survival Strategy Initiative, KISS workshop @ ASE 2009. Auckland, New Zealand; 2009. | |
2 |
A Preliminary Comparison of Formal Properties on Orthogonal Variability Model and Feature Model. In: 3rd. International Workshop on Variability Modelling of Software-intensive Systems (VAMOS). Sevilla, Spain: ICB Research Report Nº 29; 2009. p. 121-6. |
2008 | ||
---|---|---|
1 |
Automated Analysis of Orthogonal Variability Models. A First Step. In: 1st. SPLC Workshop on Analysis of Software Product Lines (ASPL 2008). Limerick, Ireland; 2008. |