idUS - Perfil del autor: Benavides Cuevas, David Felipe

Nombre	Benavides Cuevas, David Felipe
Departamento	Lenguajes y Sistemas Informáticos
Área de conocimiento	Lenguajes y Sistemas Informáticos
Categoría profesional	Catedrático de Universidad
Correo electrónico	Solicitar

Nº publicaciones

142
Nº visitas

16360
Nº descargas

34272

Tipología

Orden

Publicaciones
Ponencia Benchmarking del rendimiento de proyectos software de c´odigo abierto mediante una herramienta colaborativa Sánchez Ruiz, José Manuel; Olivero González, Miguel Ángel; Domínguez Mayo, Francisco José; Oriol, Xavier; Benavides Cuevas, David Felipe (SISTEDES: Sociedad de Ingeniería de Software y Tecnologías de Desarrollo de Software, 2023) La creciente popularidad y dependencia de las organizaciones en proyectos de software de código abierto (OSS) hace esencial ...
Artículo A Monte Carlo tree search conceptual framework for feature model analyses Horcas Aguilera, José Miguel; Galindo Duarte, José Ángel; Heradio, Ruben; Fernández Amorós, David; Benavides Cuevas, David Felipe (ElSevier, 2023) Challenging domains of the future such as Smart Cities, Cloud Computing, or Industry 4.0 expose highly variable systems ...
Tesis Doctoral Evidencias empíricas en ingeniería de líneas de productos de software: una aproximación en organizaciones sin conocimientos sobre SPLE Chacón Luna, Ana Eva; Benavides Cuevas, David Felipe; Gutiérrez Fernández, Antonio Manuel (2022) La forma en que los productos son elaborados ha cambiado significativamente con el paso del tiempo. De manera particular, ...
Tesis Doctoral Evidencias empíricas en el proceso de enseñanza de la programación. Una aproximación usando ALICE en el contexto universitario Vinueza Morales, Mariuxi; Benavides Cuevas, David Felipe; Borrego Núñez, Diana (2022) Aprender a programar es una de las habilidades fundamentales para los estudiantes relacionados con el área de la informática. ...
Tesis Doctoral Factores para la adopción de soluciones basadas en software libre Rea Sánchez, Víctor; Benavides Cuevas, David Felipe; Neira Ayuso, Pablo (2022) Hoy en día, el software libre o de código abierto (FLOSS) se está convirtiendo en una opción estratégica para cualquier ...
Ponencia Variability-aware data migration tool Romero Organvidez, David; Galindo Duarte, José Ángel; Horcas Aguilera, José Miguel; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2022) Relational databases are widely present in the development of soft ware applications. A typical implementation can be seen ...
Ponencia Advisory: vulnerability analysis in software development project dependencies Márquez Trujillo, Antonio Germán; Galindo Duarte, José Ángel; Varela Vaca, Ángel Jesús; Gómez López, María Teresa; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2022) ecurity has become a crucial factor in the development of soft ware systems. The number of dependencies in software ...
Ponencia Variability in Data Visualization: a Software Product Line Approach Horcas Aguilera, José Miguel; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2022) Data visualization aims to effectively communicate quantitative information by understanding which techniques and displays ...
Ponencia FM fact label: a configurable and interactive visualization of feature model characterizations Horcas Aguilera, José Miguel; Galindo Duarte, José Ángel; Pinto, Mónica; Fuentes, Lidia; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2022) Recognizing specific characteristics of feature models (FM) can be challenging due to the different nature and domains of ...
Trabajo Fin de Máster Análisis de vulnerabilidades en las dependencias de proyectos de desarrollo software Márquez Trujillo, Antonio Germán; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (2022) Security has become a crucial factor in the development of software systems. The number of dependencies in software systems ...
Artículo Uniform and scalable sampling of highly configurable systems Heradio, Ruben; Fernández Amorós, David; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Batory, Don (Springer, 2022) Many analyses on confgurable software systems are intractable when confronted with colossal and highly-constrained ...
Artículo Uniform and scalable sampling of highly configurable systems (Correction) Heradio, Ruben; Fernández Amorós, David; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Batory, Don (Springer, 2022)
Tesis Doctoral Configuration Analysis for Large Scale Feature Models: Towards Speculative-Based Solutions Vidal Silva, Cristian; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (2021) Los sistemas de alta variabilidad son sistemas de software en los que la gestión de la variabilidad es una actividad ...
Artículo Empirical Evidence of the Usage of Programming Languages in the Educational Process Vinueza Morales, Mariuxi; Borrego Núñez, Diana; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (IEEE Computer Society, 2021) Contribution: A systematic literature review on the empirical evidence regarding the usage of programming languages for ...
Artículo Discovering configuration workflows from existing logs using process mining Ramos Gutiérrez, Belén; Varela Vaca, Ángel Jesús; Galindo Duarte, José Ángel; Gómez López, María Teresa; Benavides Cuevas, David Felipe (Springer, 2021) Variability models are used to build configurators, for guiding users through the configuration process to reach the desired ...
Ponencia A first prototype of a new repository for feature model exchange and knowledge sharing Romero, David; Galindo Duarte, José Ángel; Horcas Aguilera, José Miguel; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2021) Feature models are the “de facto” standard for variability modelling and are used in both academia and industry. The MODEVAR ...
Artículo Using Scratch to Improve Learning Programming in College Students: A Positive Experience from a Non-WEIRD Country Cárdenas Cobo, Jessenia del Pilar; Puris, Amilkar; Novoa Hernández, Pavel; Parra Jiménez, Águeda; Moreno León, Jesús; Benavides Cuevas, David Felipe (MDPI, 2021) Teaching computer programming is a real challenge in the State University of Milagro (UNEMI), located in one of the ...
Artículo DirectDebug: Automated Testing and Debugging of Feature Models Le, Viet-Man; Felfernig, Alexander; Uta, Mathias; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Tran, Thi Ngoc Trang (Cornell University, 2021) Variability models (e.g., feature models) are a common way for the representation of variabilities and commonalities of ...
Ponencia Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características Horcas Aguilera, José Miguel; Márquez Trujillo, Antonio Germán; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2021) La mayoría de los sistemas configurables describen un amplio espacio de soluciones que hacen intratable su exploración ...
Ponencia Monte Carlo Tree Search for Feature Model Analyses: a General Framework for Decision-Making Horcas Aguilera, José Miguel; Galindo Duarte, José Ángel; Heradio, Ruben; Fernández Amorós, David; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2021) The colossal solution spaces of most configurable systems make intractable their exhaustive exploration. Accordingly, ...
Artículo DirectDebug: A software package for the automated testing and debugging of feature models Le, Viet-Man; Felfernig, Alexander; Tran, Thi Ngoc Trang; Atas, Müslüm; Uta, Mathias; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (Elsevier, 2021) Complex and large-scale feature models can become faulty, i.e., do not represent the expected variability properties of ...
Ponencia Monte Carlo Simulations for Variability Analyses in Highly Configurable Systems Horcas Aguilera, José Miguel; Márquez, A. Germán; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (CEUR Workshop Proceedings (CEUR-WS.org), 2021) Highly configurable systems expose numerous variation points to be configured by the stakeholders. Deciding which variant to ...
Tesis Doctoral Enhancing the learning of programming using Scratch: a recommender-systems-based approach in non WEIRD communities Cárdenas Cobo, Jessenia del Pilar; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (2020) In today’s world, there is a growing need for professionals with computer skills in general, and programming in particular. ...
Artículo Recommender Systems and Scratch: An integrated approach for enhancing computer programming learning Cárdenas Cobo, Jessenia del Pilar; Puris, Amilkar; Novoa Hernández, Pavel; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (IEEE Computer Society, 2020) Learning computer programming is a challenging process. Among the current approaches for overcoming this challenge, visual ...
Ponencia Uniform and scalable SAT-sampling for configurable systems Heradio, Ruben; Fernández Amorós, David; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2020) Several relevant analyses on configurable software systems remain intractable because they require examining vast and ...
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 ...
Artículo Empirical software product line engineering: A systematic literature review Chacón Luna, Ana Eva; Gutiérrez, Antonio Manuel; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Elsevier, 2020) Context: The adoption of Software Product Line Engineering (SPLE) is usually only based on its theoretical benefits instead ...
Artículo Open Source Adoption Factors-A Systematic Literature Review Rea Sánchez, Víctor; Neira Ayuso, Pablo; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (IEEE Computer Society, 2020) Nowadays, Free/Libre/OpenSource Software (FLOSS) is becoming a strategic option for many organizations in the public and ...
Ponencia A Parallelized Variant of Junker’s QUICKXPLAIN Algorithm Vidal Silva, Cristian; Felfernig, Alexander; Galindo Duarte, José Ángel; Atas, Müslüm; Benavides Cuevas, David Felipe (Springer, 2020) Conflict detection is used in many scenarios ranging from interactive decision making to the diagnosis of potentially ...
Ponencia Configuration assisted through conversational agents (chatbots and voicebots) Alfonso, Nicolás; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Università degli Studi di Padova, 2020)
Ponencia Functional Testing of Conflict Detection and Diagnosis Tools in Feature Model Configuration: A Test Suite Design Vidal Silva, Cristian; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Università degli Studi di Padova, 2020)
Tesis Doctoral On the selection and analysis of software product line implementation components using intelligent techniques Rodas Silva, Jorge Luis; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (2019) En los últimos años y con el creciente avance tecnológico, las empresas ya no se centran exclusivamente en diseñar un ...
Ponencia Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs Varela Vaca, Ángel Jesús; Galindo Duarte, José Ángel; Ramos Gutiérrez, Belén; Gómez López, María Teresa; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2019) Variability models are used to build configurators. Configurators are programs that guide users through the configuration ...
Ponencia RESDEC: Online Management Tool for Implementation Components Selection in Software Product Lines Using Recommender Systems Rodas Silva, Jorge Luis; Galindo Duarte, José Ángel; García Gutiérrez, Jorge; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2019) Software product lines (SPL) management is one of the most im portant activities for the software engineer and it represents ...
Ponencia Variability Management in a Software Product Line Unaware Company: Towards a Real Evaluation Chacón Luna, Ana Eva; Ruiz, Elvira G.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2019) Software Product Lines (SPL) enable systematic reuse within an organization thus, enabling the reduction of costs, efforts, ...
Artículo Modeling Variability in the Video Domain: Language and Experience Report Alférez, Mauricio; Acher, Mathieu; Galindo Duarte, José Ángel; Baudry, Benoit; Benavides Cuevas, David Felipe (Springer, 2019) In an industrial project, we addressed the challenge of developing a software-based video generator such that consumers ...
Artículo Selection of Software Product Line Implementation Components Using Recommender Systems: An Application to Wordpress Rodas Silva, Jorge Luis; Galindo Duarte, José Ángel; García Gutiérrez, Jorge; Benavides Cuevas, David Felipe (IEEE Computer Society, 2019) In software products line (SPL), there may be features which can be implemented by different components, which means there ...
Ponencia Towards a New Repository for Feature Model Exchange Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (ACM: Association for Computing Machinery, 2019) Feature models are one of the most important contributions to the field of software product lines, feature oriented software ...
Ponencia A general approach to Software Product Line testing Ruiz, Elvira G.; Ayerdi, Jon; Galindo Duarte, José Ángel; Arrieta, Aitor; Sagardui, Goiuria; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019) Variability is a central concept in Software Product Lines (SPLs). It has been extensively studied how the SPL paradigm ...
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 Variabilidad en visualización de datos: retos y posibilidades Galindo Duarte, José Ángel; Ruiz, Elvira G.; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2019) Los sistemas de visualización de la información nos permiten visualizar datos usando abstracciones de los mismos, por ...
Ponencia Accessibility Variability Model: The UTPL MOOC Case Study Rodríguez, Germania; Pérez, Jennifer; Benavides Cuevas, David Felipe (Association for Computing Machinery (ACM), 2019) Several approaches to define Variability Models (VM) of non-functional requirements or quality attributes have been proposed. ...
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; Galindo Duarte, José Ángel (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 MOTIV: selección de pruebas para algoritmos de detección de movimiento en vídeos usando técnicas de líneas de productos software Galindo Duarte, José Ángel; Alférez, Mauricio; Acher, Mathieu; Baudry, Benoit; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018) Las líneas de producto software se usan para gestionar la producción de sistemas software con un alto grado de variabilidad ...
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 Selección de configuraciones de despliegue usando Sistemas de Recomendación en Android Rodas, Jorge L.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Soriano, Robert (Scielo.org, 2018) Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Gestionar ...
Artículo Anytime diagnosis for reconfiguration Felfernig, Alexander; Rouven, Walter; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Polat Erdeniz, Seda; Atas, Müslüm; Reiterer, Stefan (Springer, 2018) Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time ...
Ponencia RESDEC: Un prototipo de herramienta para la selección de configuraciones de despliegue basada en Sistemas de Recomendación Rodas, Jorge L.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2018) Los sistemas de alta variabilidad son sistemas que representan cientos de configuraciones distintas. En un contexto ...
Capítulo de Libro Recommending exercises in Scratch: an integrated approach for enhancing the learning of computer programming Cárdenas Cobo, Jessenia del Pilar; Novoa Hernández, Pavel; Puris, Amilkar; Benavides Cuevas, David Felipe; Auer, Michael E.; Kim, Kwang-Sun (Springer, 2018) In this chapter we focused on how to improve the learning of computer programming in college students. From the reported ...
Ponencia Cómo gestionan la variabilidad las empresas que no conocen de líneas de producto software: hacia una evaluación real Chacón Luna, Ana Eva; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2017) Las líneas de producto software tienen como prioridad alcanzar la reutilización sistemática dentro de una organización ...
Ponencia Programación con la herramienta SCRATCH +CARAMBA. Una experiencia de aprendizaje significativo Cárdenas, Jessenia; Benavides Cuevas, David Felipe; D'Armas, Mayra; Vinueza Morales, Mariuxi (Latin American and Caribbean Consortium of Engineering Institutions, 2017) El alto índice de reprobados es un problema generalizado en la enseñanza de la programación en los espacios educativos ...
Ponencia Exploiting the Enumeration of All Feature Model Configurations Galindo Duarte, José Ángel; Acher, Mathieu; Tirado, Juan Manuel; Vidal, Cristian; Baudry, Benoit; Benavides Cuevas, David Felipe (ACM, 2016) .Feature models are widely used to encode the configurations of a software product line in terms of mandatory, optional ...
Artículo Foreword to the special issue on empirical evidence on software product line engineering Bagheri, Ebrahim; Benavides Cuevas, David Felipe; Schmid, Klaus; Runeson, Per (Springer, 2016)
Ponencia Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
Ponencia El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: primeros pasos Vinueza Morales, Mariuxi; Rodas, Jorge L.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016) Los modelos de características con atributos representan todos los productos de una línea de productos junto con información ...
Artículo Testing variability-intensive systems using automated analysis: an application to Android Galindo Duarte, José Ángel; Turner, Hamilton; Benavides Cuevas, David Felipe; White, Jules (Springer, 2016) Software product lines are used to develop a set of software products that, while being different, share a common set of ...
Artículo Traceability Analyses between Features and Assets in Software Product Lines Khandu Narwane, Ganesh; Galindo Duarte, José Ángel; Narayanan Krishna, Shankara; Benavides Cuevas, David Felipe; Millo, Jean-Vivien; Ramesh, S. (MDPI, 2016) In a Software Product Line (SPL), the central notion of implementability provides the requisite connection between ...
Ponencia Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad Rodas, Jorge L.; Olivares, Javier; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016) Los sistemas de alta variabilidad son sistemas software cuyo comportamiento puede ser personalizado de acuerdo con las ...
Tesis Doctoral Evolution, testing and configuration of variability intensive systems Galindo Duarte, José Ángel; Baudry, Benoit; Benavides Cuevas, David Felipe (2015) One of the key characteristics of software is its ability to be adapted and configured to different scenarios. Recently, ...
Artículo FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2015) In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ...
Ponencia Mixing of Join Point Interfaces and Feature-Oriented Programming for Modular Software Product Line Vidal, Cristian; Benavides Cuevas, David Felipe; Leger, Paul; Galindo Duarte, José Ángel; Fukuda, Hiroaki (ACM, 2015) Feature-oriented programming (FOP) and aspect-oriented programming (AOP) focus on to modularize incremental classes behavior ...
Artículo An assessment of search-based techniques for reverse engineering feature models López Herrejón, Roberto E.; Linsbauer, Lukas; Galindo Duarte, José Ángel; Parejo Maestre, José Antonio; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Egyed, Alexander (Elsevier, 2015) Successful software evolves from a single system by adding and changing functionality to keep up with users’ demands and ...
Ponencia Hacia las pruebas en sistemas de alta variabilidad utilizando opiniones de los usuarios Rodas, Jorge L.; Méndez Acuña, David; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Cárdenas, Jessenia (HAL-Inria, 2015) Los sistemas de alta variabilidad son sistemas de software que describen una gran cantidad de configuraciones. Este elevado ...
Ponencia Exploring the Synergies between Join Point Interfaces and Feature-Oriented Programming Vidal Silva, Cristian; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Leger, Paul (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2015) Feature-oriented programming FOP, and aspect-oriented programming AOP have been used to develop modular software product ...
Artículo Supporting distributed product configuration by integrating heterogeneous variability modeling approaches Galindo Duarte, José Ángel; Dhungana, Deepak; Rabiser, Rick; Benavides Cuevas, David Felipe; Botterweck, Goetz; Grünbacher, Paul (Elsevier, 2015) Context In industrial settings products are developed by more than one organization. Software vendors and suppliers ...
Ponencia JPI Feature Models: Exploring a JPI and FOP Symbiosis for Software Modeling Vidal Silva, Cristian; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Leger, Paul; Villaroel, Rodolfo; Valenzuela, Sebastián (IEEE Computer Society, 2015) Looking for a complete modular software development paradigm, this article presents Join Point Interface JPI Feature Models, ...
Ponencia Variability management in an unaware software product line company: an experience report (Slide) Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (VaMOS Workshops, 2014)
Artículo Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012 Schwanninger, Christa; Benavides Cuevas, David Felipe (Elsevier, 2014)
Ponencia A Variability-Based Testing Approach for Synthesizing Video Sequences Galindo Duarte, José Ángel; Alférez, Mauricio; Acher, Mathieu; Baudry, Benoit; Benavides Cuevas, David Felipe (ACM, 2014) A key problem when developing video processing software is the di culty to test di erent input combinations. In this paper, ...
Ponencia Variability Management in an unaware software product line company: An experience report Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (ACM, 2014) Software product line adoption is a challenging task in software development organisations. There are some reports in the ...
Artículo Evolving feature model configurations in software product lines White, Jules; Galindo Duarte, José Ángel; Saxena, Tripti; Dougherty, Brian; Benavides Cuevas, David Felipe; Schmidt, Douglas C. (Elsevier, 2014) The increasing complexity and cost of software-intensive systems has led developers to seek ways of reusing software ...
Ponencia Automated Analysis of Diverse Variability Models with Tool Support Roos Frantz, Fabricia; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2014) Over the past twenty years, there have been many contributions in the area of automated analysis of variability models. ...
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 Integrating Heterogeneous Variability Modeling Approaches with Invar [Tool Demonstration] Dhungana, Deepak; Seichter, Dominik; Botterweck, Goetz; Rabiser, Rick; Grünbacher, Paul; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (ACM, 2013) There have been several proposals to describe the variability of software product lines by using modeling languages. In ...
Ponencia Towards Anomaly Explanation in Feature Models Felfernig, Alexander; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel; Reinfrank, Florian (CEUR-WS, 2013) Feature models are a wide-spread approach to variability and commonality management in software product lines. Due to the ...
Capítulo de Libro FaMa Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Capilla, Rafael; Bosch, Jan; Kang, Kyo-Chul (Springer, 2013)
Informe ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.3) TECHNICAL REPORT ISA-2013-TR-01 Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2013)
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 ...
Capítulo de Libro FaMa Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Segura Rueda, Sergio (Springer, 2013) Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration.
Ponencia Automated Analysis in Feature Modelling and Product Configuration Benavides Cuevas, David Felipe; Felfernig, Alexander; Galindo Duarte, José Ángel; Reinfrank, Florian (Springer, 2013) The automated analysis of feature models is one of the thriving topics of research in the software product line and ...
Tesis Doctoral Automated analysis of software product lines with orthogonal variability models: Extending the fama ecosystem Roos Frantz, Fabricia; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe (2012) La ingeniería de líneas de producto software es un paradigma de desarrollo de software que permite la creación de una ...
Ponencia FaMa-OVM: a Tool for the Automated Analysis of Ovms Roos Frantz, Fabricia; Galindo, José A.; Benavides Cuevas, David Felipe (2012) Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ...
Ponencia FaMa-OVM: A Tool for the Automated Analysis of OVMs Roos Frantz, Fabricia; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (ACM, 2012) Orthogonal Variability Model (OVM) is a modelling language for representing variability in Software Product Line Engineering. ...
Ponencia Reverse Engineering Feature Models with Evolutionary Algorithms: An Exploratory Study López Herrejón, Roberto E.; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Egyed, Alexander (Springer, 2012) Successful software evolves, more and more commonly, from a single system to a set of system variants tailored to meet the ...
Ponencia BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models Segura Rueda, Sergio; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Parejo Maestre, José Antonio; Ruiz Cortés, Antonio (ACM, 2012) The automated analysis of feature models is a ourishing research topic that has called the attention of both researchers and ...
Informe FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02 Durán Toro, Amador; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2012) Software product lines are rapidly gaining importance across different application domains. This software production ...
Informe ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation - TECHNICAL REPORT ISA-2012-TR-01 (v. 1.1) Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2012) A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...
Ponencia BeTTy: Un Framework de Pruebas para el Análisis Automático de Modelos de Características Segura Rueda, Sergio; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Parejo Maestre, José Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012) El análisis automático de modelos de características es un área de investigación activo que ha llamado la atencíon de ...
Artículo Consistency maintenance for evolving feature models Guo, Jianmei; Wang, Yinglin; Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe (Elsevier, 2012) Software product line (SPL) techniques handle the construction of customized systems. One of the most common representations ...
Artículo Quality-Aware Analysis in Product Line Engineering with the Orthogonal Variability Model Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Heuer, André; Lauenroth, Kim (Springer Verlag, 2012) Software product line engineering (SPLE) is about producing a set of similar products in a certain domain. A variability ...
Artículo Software diversity: state of the art and perspectives Shaefer, Ina; Rabiser, Rick; Clarke, Dave; Bettini, Lorenzo; Benavides Cuevas, David Felipe; Botterweck, Goetz; Pathak, Animesh; Trujillo, Salvador; Villela, Karina (Springer, 2012) Diversity is prevalent in modern software systems to facilitate adapting the software to customer requirements or the ...
Informe ETHOM: An Evolutionary Algorithm for Optimized Feature Models Generation (v. 1.2): Technical Report ISA-2012-TR-05 Segura Rueda, Sergio; Parejo Maestre, José Antonio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2012) A feature model defines the valid combinations of features in a domain. The automated extraction of information from feature ...
Ponencia Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches Dhungana, Deepak; Seichter, Dominik; Botterweck, Goetz; Rabiser, Rick; Grünbacher, Paul; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (IEEE Computer Society, 2011) In industrial settings, products are rarely built by one organization alone. Software vendors and suppliers typically maintain ...
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 ...
Artículo Mutation Testing on An Object-Oriented Framework: An Experience Report Segura Rueda, Sergio; Hierons, Robert M.; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Elsevier, 2011) Context: The increasing presence of Object–Oriented (OO) programs in industrial systems is progressively drawing the ...
Artículo Functional Testing of Feature Model Analysis Tools: a Test Suite Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (Institution of Engineering and Technology, 2011) A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...
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 ...
Tesis Doctoral Automated Analysis of Software Product Lines with Orthogonal Variability Models : Extending the FaMa Ecosystem Carneiro Roos, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2011)
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. ...
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 ...
Tesis Doctoral Functional and performance testing of feature model analysis tools Extending the fama ecosystem Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2010) La ingeniería de líneas de productos es un paradigma de desarrollo orientado a construir familias de sistemas software que ...
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. ...
Informe FaMa Test Suite v1.2: ISA Technical Report ISA-10-TR-01 Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2010) A Feature Model (FM) is a compact representation of all the products of a software product line. Automated analysis of FMs ...
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. ...
Ponencia Debian Packages Repositories as Software Product Line Models. Towards Automated Analysis Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Segura Rueda, Sergio (2010) The automated analysis of variability models in general and feature models in particular is a thriving research topic. ...
Ponencia Feature Model to Orthogonal Variability Model Transformations. A First Step Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2009) Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ...
Ponencia Feature Model to Orthogonal Variability Model Transformation Towards Interoperability Between Tools Roos Frantz, Fabricia; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2009) Feature Model (FM) and Orthogonal Variability Model (OVM) are both modelling approaches employed to represent variability ...
Ponencia Moskitt FM and FAMA FW: Taking feature models to the next level Cetina, Carlos; Trinidad Martín Arroyo, Pablo; Pelechano, Vicent; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009) Feature modeling is a key technique to model commonalities and variabilities within a Software Product Line (SPL). Tools ...
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 First International Workshop on Analysis of Software Product Lines (ASPL'08) Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Batory, Don; Heymans, Patrick (IEEE Computer Society, 2008) The automation of software product line (SPL) analyses is of growing interest to both practitioners and researchers. In ...
Ponencia Three-Dimensional Feature Diagrams Visualization Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Segura Rueda, Sergio (2008) Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ...
Ponencia Fama Framework Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Jiménez, Alberto (2008) FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ...
Ponencia Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project Hubaux, A.; Heymans, P.; Benavides Cuevas, David Felipe (IEEE Computer Society, 2008) Variability models, feature diagrams ahead, have become commonplace in the software product lines engineering literature. ...
Ponencia Functional Testing of Feature Model Analysis Tools. A First Step Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2008) The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement ...
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)
Ponencia Open Source Tools for Software Product Line Development Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007) Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ...
Ponencia FAMA: hacia el análisis automático de modelos de características Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Ruiz Cortés, Antonio (Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
Ponencia Towards Automated Refactoring of Feature Models Using Graph Transformations Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007) Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ...
Ponencia From Requirements to Web System Design. An Automated Approach Using Graph Transformations Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Escalona Cuaresma, María José (2007) Building Web design models from requirements specification is recognised as a timeconsuming and error-prone task. in this ...
Ponencia Fama: Tooling a Framework for the Automated Analysis of Feature Models Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2007) The automated analysis of feature models is recognized as one of the key challenges for automated software development in ...
Ponencia A Taxonomy of Variability in Web Service Flows Segura Rueda, Sergio; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo (2007) The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ...
Capítulo de Libro Telvent Bermejo, Jesús; Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Linden, Frank van der; Schmid, Klaus; Rommes, Eelco (Springer, 2007)
Ponencia Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio; Peña Siles, Joaquín; Benavides Cuevas, David Felipe (2007) Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and ...
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 ...
Tesis Doctoral On the automated analysis of software product lines using feature models: a framework for developing automated tool support Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Durán Toro, Amador (2007) En los últimos años, ha habido un gran empuje por parte de la comunidad investigadora en torno a una nueva línea de ...
Ponencia Isolated Features Detection in Feature Models Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2006) Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, ...
Ponencia A First Step Towards a Framework for the Automated Analysis of Feature Models Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2006) Feature modelling is a common mechanism for variability management in the context of software product lines. After years ...
Artículo Automated analysis of feature models: challenges ahead Batory, Don; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (ACM, 2006)
Ponencia A Survey on the Automated Analyses of Feture Models Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Trinidad Martín Arroyo, Pablo; Segura Rueda, Sergio (2006) Feature models are one of the most important assets in software product line engineering when capturing variability. ...
Ponencia Explanations for Agile Feature Models Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Segura Rueda, Sergio; Toro Bonilla, Miguel (2006) Feature models are widely used to represent product lines and they are key parts of the development process in agile ...
Ponencia The Triple Schizophrenia of the Software Engineering Researcher Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Müller Cejás, Carlos (2005) In this paper we question the problem of a software engineering researcher, who in his daily work, has to deal with ...
Ponencia Using Constraint Programming to Reason on Feature Models Benavides Cuevas, David Felipe; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005) Feature models have been cited as one of the main contributions to model software product families. However, there is still ...
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 Using Java Csp Solvers in the Automated Analyses of Feature Models Benavides Cuevas, David Felipe; Segura Rueda, Sergio; Trinidad Martín Arroyo, Pablo; Ruiz Cortés, Antonio (2005) Feature Models are used in different stages of software development and are recognized to be an important asset in model ...
Ponencia Spl needs an automatic holistic model for software reasoning with feature models Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Corchuelo Gil, Rafael; Martín Díaz, Octavio (Universidad Carlos III, 2004) The number of features and their relations in a Software Product Line (SPL) may lead to have SPLs with a big number of ...
Ponencia A First Approach to Build Product Lines of Multi-organizationalWeb Based Systems (MOWS) Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Serrano, Miguel A.; Montes de Oca Vázquez, Carlos (Springer, 2004) From the recent past and current state of the Internet, it is possible to forecast a wide growing of Multi Organizational ...
Ponencia Improving Decision Making in Software Product Lines Product Plan Management Trinidad Martín Arroyo, Pablo; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (2004) The increasing demand on developing Software Product Lines (SPL) has given a lot of interest to software engineering ...
Ponencia Applying System Families Concepts to Requirements Engineering Process Definition Durán Toro, Amador; Benavides Cuevas, David Felipe; Bermejo, Jesús (Springer, 2003) In this paper, some experiences gained during the definition of a unified, common software development process for several ...
Artículo Automating the Procurement of Web Services Martín Díaz, Octavio; Ruiz Cortés, Antonio; Durán Toro, Amador; Benavides Cuevas, David Felipe; Toro Bonilla, Miguel (Springer Verlag, 2003) As government agencies and business become more dependent on web services, software solutions to automate their procurement ...
Artículo A Quality-Aware Approach to Web Services Procurement Martín Díaz, Octavio; Ruiz Cortés, Antonio; Benavides Cuevas, David Felipe; Durán Toro, Amador; Toro Bonilla, Miguel (Springer Verlag, 2003) Web services bring programmers a new way to develop advanced applications able to integrate any group of services on the ...
Ponencia Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio; Toro Bonilla, Miguel (2002)

Perfil del autor: Benavides Cuevas, David Felipe

Datos institucionales

Estadísticas

Nº publicaciones

Nº visitas

Nº descargas

Publicaciones