Repositorio de producción científica de la Universidad de Sevilla

FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing

 

Advanced Search
 
Opened Access FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
Cites

Show item statistics
Icon
Export to
Author: Durán Toro, Amador
Benavides Cuevas, David Felipe
Segura Rueda, Sergio
Trinidad Martín Arroyo, Pablo
Ruiz Cortés, Antonio
Department: Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos
Date: 2015
Published in: International Journal on Software and Systems Modeling, 1-34
Document type: Article
Abstract: In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations was identified as the most relevant challenge in the field. This formalization could provide very valuable assets for tool ...
[See more]
Size: 1.131Mb
Format: application/zip

Implementación de referencia con pruebas

Size: 2.144Mb
Format: PDF

Artículo principal

URI: http://hdl.handle.net/11441/34823

DOI: http://dx.doi.org/10.1007/s10270-015-0503-z

This work is under a Creative Commons License: 

This item appears in the following Collection(s)