- idUS
- Listar por autor
Listar por autor "Benavides Cuevas, David Felipe"
Mostrando ítems 21-40 de 144
-
Artículo
Automated analysis of feature models 20 years later: a literature review
Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (2010)Software product line engineering is about producing a set of related products that share more commonalities than variabilities. ...
-
Artículo
Automated analysis of feature models: challenges ahead
Batory, Don; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (ACM, 2006) -
Ponencia
Automated analysis of feature models: current state and practices
Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (Association for Computing Machinery (ACM), 2018)Software Product Lines (SPLs) are about developing a set of different software products that share some common functionality. ...
-
Artículo
Automated analysis of feature models: Quo vadis?
Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Gutiérrez Fernández, Antonio Manuel; Ruiz Cortés, Antonio (Springer, 2018)Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ...
-
Ponencia
Automated Analysis of Orthogonal Variability Models Using Constraint Programming.
Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2010)Software Product Line (SPL) Engineering is about producing a family of products that share commonalities and variabilities. ...
-
Tesis Doctoral
Automated Analysis of Software Product Lines with Orthogonal Variability Models : Extending the FaMa Ecosystem
Carneiro Roos, Fabricia (2011) -
Tesis Doctoral
Automated analysis of software product lines with orthogonal variability models: Extending the fama ecosystem
Roos Frantz, Fabricia (2012-02-20)La ingeniería de líneas de producto software es un paradigma de desarrollo de software que permite la creación de una ...
-
Capítulo de Libro
Automated Analysis of Stateful Feature Models
Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe (Springer, 2013)In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ...
-
Artículo
Automated analysis of two-layered feature models with feature attributes
Lettner, Michael; Rodas, Jorge; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Elsevier, 2019)The proliferation of features and platforms in variability intensive systems, coupled with substantial technolo-gical ...
-
Ponencia
Automated Completion of Partial Configurations as a Diagnosis Task Using FastDiag to Improve Performance
Vidal Silva, Cristian; Galindo Duarte, José Ángel; Giráldez Cru, Jesús; Benavides Cuevas, David Felipe (Springer, 2020)The completion of partial configurations might represent an expensive computational task. Existing solutions, such as those ...
-
Ponencia
Automated Diagnosis of Feature Model Configurations
White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2011)Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
-
Artículo
Automated Diagnosis of Feature Model Configurations
White, Jules; Benavides Cuevas, David Felipe; Schmidt, Douglas C.; Trinidad Martín Arroyo, Pablo; Dougherty, Brian; Ruiz Cortés, Antonio (Elsevier, 2010)Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ...
-
Ponencia
Automated Diagnosis of Product-line Configuration Errors in Feature Models
White, Jules; Schmidt, Douglas C.; Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (IEEE Computer Society, 2008)Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ...
-
Artículo
Automated Error Analysis for the Agilization of Feature Modeling
Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Durán Toro, Amador; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (Elsevier, 2008) -
Artículo
Automated Generation of Computationally Hard Feature Models Using Evolutionary Algorithms
Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2014)A feature model is a compact representation of the products of a software product line. The automated extraction of ...
-
Ponencia
Automated Merging of Feature Models using Graph Transformations
Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007)Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ...
-
Artículo
Automated Metamorphic Testing on the Analyses of Feature Models
Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2011)Context. A Feature Model (FM) represents the valid combinations of features in a domain. The automated extraction of ...
-
Ponencia
Automated Reasoning for Multi-step Feature Model Configuration Problems
White, Jules; Dougherty, Brian; Schmidt, Douglas C.; Benavides Cuevas, David Felipe (ACM, 2009)The increasing complexity and cost of software-intensive systems has led developers to seek ways of increasing ...
-
Ponencia
Automated reasoning on feature models
Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005)Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ...
-
Ponencia
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (IEEE Computer Society, 2010)A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction ...