Mostrar el registro sencillo del ítem
Ponencia
Using Java Csp Solvers in the Automated Analyses of Feature Models
dc.creator | Benavides Cuevas, David Felipe | |
dc.creator | Segura Rueda, Sergio | |
dc.creator | Trinidad Martín Arroyo, Pablo | |
dc.creator | Ruiz Cortés, Antonio | |
dc.date.accessioned | 2015-06-29T14:55:31Z | |
dc.date.available | 2015-06-29T14:55:31Z | |
dc.date.issued | 2005 | |
dc.identifier.other | http://www.lsi.us.es/~dbc/dbc_archivos/pubs/Benavides_gttse05.pdf | |
dc.identifier.uri | http://hdl.handle.net/11441/26365 | |
dc.description.abstract | Feature Models are used in different stages of software development and are recognized to be an important asset in model transformation techniques and software product line development. The automated analysis of feature models is being recognized as one of the key challenges for automated software development in the context of Software Product Lines. in our previous work we explained how a feature model can be transformed into a constraint satisfaction problem. However cardinalities were not considered. in this paper we present how a cardinality-based feature model can be also translated into a constraint satisfaction problem. in that connection, it is possible to use off-the-shelf tools to automatically accomplish several tasks such as calculating the number of possible feature configurations and detecting possible conflicts. in addition, we present a performance test between two off-the-shelf Java constraint solvers. To the best of our knowledge, this is the first time a performance test is presented using solvers for feature modelling proposes | |
dc.description.sponsorship | Ministerio de Educación y Ciencia TIC2003-02737-C02-01 | |
dc.format | application/pdf | |
dc.language.iso | eng | |
dc.relation.ispartof | Summer School on Generative and Transformational Techniques in Software Engineering, GTTSE, 1st, 2005, Braga, Portugal | |
dc.rights | Atribución-NoComercial-SinDerivadas 4.0 España | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0 | |
dc.title | Using Java Csp Solvers in the Automated Analyses of Feature Models | |
dc.type | info:eu-repo/semantics/conferenceObject | |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Lenguajes y Sistemas Informáticos | |
dc.relation.projectID | TIC2003-02737-C02-01 | |
dc.contributor.group | Universidad de Sevilla. TIC205: Ingeniería del Software Aplicada | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/26365 | |
dc.contributor.funder | Ministerio de Educación y Ciencia (MEC). España |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
file_1.pdf | 265.3Kb | [PDF] | Ver/ | |