Universidad Complutense de Madrid
E-Prints Complutense

Modelando la variabilidad. Métodos formales para la representación de líneas de productos software

Impacto

Downloads

Downloads per month over past year



Camacho González, Carlos Delfín (2018) Modelando la variabilidad. Métodos formales para la representación de líneas de productos software. [Thesis]

[img]
Preview
PDF
2MB


Abstract

El desarrollo de aplicaciones software basado en líneas de productos (SPLs) permite a los desarrolladores modelar sistemas en función de la relación entre sus componentes. Así, es posible estudiar la variabilidad y características comunes entre ellos. Este paradigma de desarrollo se remonta a finales de los años 80. Desde entonces, se han realizado numerosos aportes sobre las distintas maneras de modelar las relaciones entre sus componentes [7]. Inicialmente, estas relaciones fueron definidas de forma gráfica, sirviendo como soporte para la toma de decisiones en las fases iniciales del diseño de los productos. Sin embargo, para detectar errores de diseño en fases tempranas del proceso de desarrollo y realizar comparaciones sobre los productos construidos,surge la necesidad de procesar y analizar automaticamente estos modelos. Por ello,en esta tesis se propone la definición de métodos formales para modelar SPLs, permitiendo automatizar su análisis y procesamiento...

Resumen (otros idiomas)

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 to automatize its processing and analysis...

Item Type:Thesis
Additional Information:

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 20-06-2017

Directors:
DirectorsDirector email
Llana Díaz, Luis
Núñez Covarrubias, Alberto
Uncontrolled Keywords:Álgebra, leguajes formales, lenguajes de programación
Palabras clave (otros idiomas):Algebra, Formal languages, programming languages
Subjects:Sciences > Computer science > Programming languages (Electronic computers)
Sciences > Computer science > Software
ID Code:49715
Deposited On:24 Oct 2018 13:47
Last Modified:24 Oct 2018 13:47

Origin of downloads

Repository Staff Only: item control page