Modelando la variabilidadmétodos formales para la representación de líneas de productos software
- Camacho González, Carlos Delfin
- Alberto Núñez Covarrubias Zuzendaria
- L. F. Llana Zuzendaria
Defentsa unibertsitatea: Universidad Complutense de Madrid
Fecha de defensa: 2017(e)ko ekaina-(a)k 20
- Carlos Gregorio Rodríguez Presidentea
- Mercedes Garcia Merayo Idazkaria
- M. E. C. P. Kidea
- Juan Manuel Vara Mesa Kidea
- Fernando Lopez Pelayo Kidea
Mota: Tesia
Laburpena
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