Mostrar el registro sencillo del ítem
Ponencia
Exploiting the Enumeration of All Feature Model Configurations
dc.creator | Galindo Duarte, José Ángel | es |
dc.creator | Acher, Mathieu | es |
dc.creator | Tirado, Juan Manuel | es |
dc.creator | Vidal, Cristian | es |
dc.creator | Baudry, Benoit | es |
dc.creator | Benavides Cuevas, David Felipe | es |
dc.date.accessioned | 2017-07-17T09:57:55Z | |
dc.date.available | 2017-07-17T09:57:55Z | |
dc.date.issued | 2016 | |
dc.identifier.citation | Galindo Duarte, J.Á., Acher, M., Tirado, J.M., Vidal, C., Baudry, B. y Benavides Cuevas, D.F. (2016). Exploiting the Enumeration of All Feature Model Configurations. En SPLC 2016 : 20th International Systems and Software Product Line Conference (74-78), Beijing, China: ACM. | |
dc.identifier.uri | http://hdl.handle.net/11441/62562 | |
dc.description.abstract | .Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional and exclusive features as well as propositional constraints over the features. Numerous computationally expensive procedures have been developed to model check, test, configure, debug, or compute relevant information of feature models. In this paper we explore the possible improvement of relying on the enumeration of all configurations when performing automated analysis operations. We tackle the challenge of how to scale the existing enumeration techniques by relying on distributed computing. We show that the use of distributed computing techniques might offer practical solutions to previously unsolvable problems and opens new perspectives for the automated analysis of software product lines. | es |
dc.description.sponsorship | Junta de Andalucía P12-TIC-1867 | es |
dc.description.sponsorship | Ministerio de Economía y Competitividad TIN2015- 70560-R | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | ACM | es |
dc.relation.ispartof | SPLC 2016 : 20th International Systems and Software Product Line Conference (2016), p 74-78 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Exploiting the Enumeration of All Feature Model Configurations | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.projectID | P12-TIC-1867 | es |
dc.relation.projectID | info:eu-repo/grantAgreement/MINECO/TIN2015-70560-R | es |
dc.relation.publisherversion | http://dl.acm.org/citation.cfm?id=2934478 | es |
dc.identifier.doi | 10.1145/2934466.2934478 | es |
dc.contributor.group | Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada | es |
idus.format.extent | 5 p. | es |
dc.publication.initialPage | 74 | es |
dc.publication.endPage | 78 | es |
dc.eventtitle | SPLC 2016 : 20th International Systems and Software Product Line Conference | es |
dc.eventinstitution | Beijing, China | es |
dc.relation.publicationplace | USA | es |
dc.contributor.funder | Junta de Andalucía | |
dc.contributor.funder | Ministerio de Economía y Competitividad (MINECO). España |