Modelando la variabilidad. Métodos formales para la representación de líneas de productos software
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 finale...
| Autor: | |
|---|---|
| Tipo de recurso: | tesis doctoral |
| Fecha de publicación: | 2018 |
| País: | España |
| Institución: | Universidad Complutense de Madrid (UCM) |
| Repositorio: | Docta Complutense |
| Idioma: | español |
| OAI Identifier: | oai:docta.ucm.es:20.500.14352/16454 |
| Acceso en línea: | https://hdl.handle.net/20.500.14352/16454 |
| Access Level: | acceso abierto |
| Palabra clave: | 512:004(043.2) 519.76(043.2) 519.767:004.43(043.2) Álgebra leguajes formales lenguajes de programación Algebra Formal languages programming languages Lenguajes de programación Software 1203.23 Lenguajes de Programación 3304.16 Diseño Lógico |
| Sumario: | 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... |
|---|