Mostrar el registro sencillo del ítem
Ponencia
Automated reasoning on feature models
dc.creator | Benavides Cuevas, David Felipe | |
dc.creator | Trinidad Martín Arroyo, Pablo | |
dc.creator | Ruiz Cortés, Antonio | |
dc.date.accessioned | 2015-06-30T11:07:17Z | |
dc.date.available | 2015-06-30T11:07:17Z | |
dc.date.issued | 2005 | |
dc.identifier.uri | http://hdl.handle.net/11441/26420 | |
dc.description.abstract | Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not devised to cope with extra– functional features. In this paper we introduce a proposal to model and reason on an SPL using constraint programming. We take into account functional and extra–functional features, improve current proposals and present a running, yet feasible implementation. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.relation.ispartof | Conference on Advanced Information System Engineering, CAISE'05 (17. 2005. Oport, Portugal) | es |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Product Lines | es |
dc.subject | Feature Models | es |
dc.subject | Extra–functional Features | es |
dc.subject | Automated Reasoning | es |
dc.title | Automated reasoning on feature models | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | es |
dc.relation.publisherversion | http://doi.org/10.1007/11431855_34 | es |
dc.identifier.doi | http://doi.org/10.1007/11431855_34 | es |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/26420 | |
dc.description.awardwinning | Premio Mensual Publicación Científica Destacada de la US. Escuela Técnica Superior de Ingeniería Informática |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
Automated Reasoning on Feature ... | 365.5Kb | [PDF] | Ver/ | |