Modelando la variabilidadmétodos formales para la representación de líneas de productos software
- Camacho González, Carlos Delfin
- Alberto Núñez Covarrubias Director
- L. F. Llana Director
Defence university: Universidad Complutense de Madrid
Fecha de defensa: 20 June 2017
- Carlos Gregorio Rodríguez Chair
- Mercedes Garcia Merayo Secretary
- M. E. C. P. Committee member
- Juan Manuel Vara Mesa Committee member
- Fernando Lopez Pelayo Committee member
Type: Thesis
Abstract
The software development paradigm focused on product lines(SPLs) allows developers to model systems based on product components and to studytheir commonality and variability. This paradigm dates to late 80's and, since then, severalcontributions have been made for modeling relationships between components [7]. Initially,these relationships were de ned in a graphical way, serving as a basis for decision makingpurposes in several design phases of the development cycle. In order to detect design errorsin early phases of the development cycle, it is necessary to use formal methods allowingautomated analysis over the SPLs. Thus, in this thesis we propose to de ne formal methodsfor modeling SPLs, which allows