David Benavides

• Artículos de revistas (9)
• Colaboraciones en obras colectivas (34)
• Tesis (1)
• Tesis dirigidas (9)
• Coordinación (1 publicación)

• Artículos de revistas

  • Seleccionado

    Evidentia: gestión de evidencias en trabajos colaborativos usando software libre

    David Romero, David Benavides

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 7, 2022, págs. 159-166

    • Resumen
    • Texto completo
    
  • Seleccionado

    Empirical software product line engineering: A systematic literature review

    Ana Eva Chacón Luna, Antonio Manuel Gutiérrez, José A. Galindo, David Benavides

    Information and software technology, ISSN 0950-5849, Nº 128, 2020, págs. 1-22

    • Texto completo
    
  • Seleccionado

    Software room: una experiencia docente para atraer nuevos estudiantes

    Carlos Ortiz Prieto, Elena Molina Pineda, David Benavides

    Actas de las Jornadas sobre la Enseñanza Universitaria de la Informática (JENUI), ISSN 2531-0607, Nº. 4, 2019

    • Resumen
    • Texto completo
    
  • Seleccionado

    Supporting distributed product configuration by integrating heterogeneous variability modeling approaches

    José A. Galindo, Deepak Dhungana, Rick Rabiser, David Benavides, Goetz Botterweck, Paul Grunbacher

    Information and software technology, ISSN 0950-5849, Nº 62, 2015, págs. 78-100

    • Texto completo
    
  • Seleccionado

    Editorial for the special section on Software Product Line Engineering: Selected papers from Software Product Line conference in 2012

    Christa Schwanninger, David Benavides

    Information and software technology, ISSN 0950-5849, Vol. 56, Nº 9, 2014, págs. 1099-1100

    • Texto completo
    
  • Seleccionado

    Mutation testing on an object-oriented framework: An experience report

    Sergio Segura Rueda , Robert M. Hierons , David Benavides, Antonio Ruiz Cortés

    Information and software technology, ISSN 0950-5849, Vol. 53, Nº 10, 2011, págs. 1124-1136

    • Texto completo
    
  • Seleccionado

    Automated metamorphic testing on the analyses of feature models

    Sergio Segura Rueda , Robert M. Hierons , David Benavides, Antonio Ruiz Cortés

    Information and software technology, ISSN 0950-5849, Vol. 53, Nº 3, 2011, págs. 245-258

    • Texto completo
    
  • Seleccionado

    Automated analysis of feature models 20 years later: A literature review

    David Benavides, Sergio Segura Rueda , Antonio Ruiz Cortés

    Information systems, ISSN 0306-4379, Vol. 35, Nº 6, 2010, págs. 615-636

    • Texto completo
    
  • Seleccionado

    Automated analysis of feature models: challenges ahead

    Antonio Ruiz Cortés , David Benavides, Don Batory

    Communications of the ACM, ISSN 0001-0782, Vol. 49, Nº 12, 2006, págs. 45-47

    • Texto completo
    

• Colaboraciones en obras colectivas

  • Seleccionado

    Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características

    Jose Miguel Horcas, Antonio German Marquez Trujillo, José A. Galindo, David Benavides

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    • Texto completo
    
  • Seleccionado

    Process Mining to Unleash Variability Management: Discovering Configuration Workflows Using Logs

    Ángel Jesús Varela Vaca , José A. Galindo, Belén Ramos, María Teresa Gómez López , David Benavides

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    
  • Seleccionado

    Uniform and Scalable SAT-Sampling for Configurable Systems

    Rubén Heradio Gil , David Jose Fernandez Amoros , José A. Galindo, David Benavides

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    
  • Seleccionado

    Empirical software product line engineering: A systematic literature review: An IST journal publication

    Ana Eva Chacón Luna, Antonio Manuel Gutiérrez Fernández , José A. Galindo, David Benavides

    Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021] / coord. por Rafael Capilla Sevilla , Maider Azanza Sese , Miguel Rodríguez Luaces , M. M. Roldán García , Dolores Burgueño Caballero, José Raúl Romero Salguero , José Antonio Parejo Maestre , José Francisco Chicano García , Marcela Genero , Óscar Díaz García , José González Enríquez , María Carmen Penades Gramage ; Silvia Mara Abrahao Gonzales (col.) , 2021

    • Resumen
    
  • Seleccionado

    Programación con la herramienta SCRATCH +CARAMBA. Una experiencia de aprendizaje significativo

    Jesennia Cárdenas Cobo, David Benavides, Mayra D'Armas, Mariuxi Vinueza Morales, Jorge Rodas

    Global Partnerships for Development and Engineering Education: Proceedings of the 15th LACCEI International Multi-Conference for Engineering, Education and Technology,July 19-21, 2017, Boca Raton, FL, United States / Victor Hugo Gonzalez Jaramillo (dir.), Pedro Fabricio Zanzzi Diaz (dir.), Rudy Altamirano Zambrano (dir.), Gissela Ganchozo Ortega (aut.), 2017, ISBN 978-0-9993443-0-9

    • Resumen
    • Texto completo
    
  • Seleccionado

    Variability Management in an Unaware Software Product Line Company: an Experience Report

    David Benavides, José A. Galindo

    The Eight International Workshop on Variability Modelling of Software-Intensive Systems / coord. por Andrzej Wasowski, Philippe Collet, Thorsten Weyer, 2014, ISBN 9781450325561, págs. 5-6

    • Texto completo
    
  • Seleccionado

    Internet: ¿un derecho universal?

    David Benavides

    La uni en la calle: Libro de textos., 2013, ISBN 978-84-616-6181-7, págs. 34-35

    
  • Seleccionado

    Automated Analysis In Feature Modelling and Product Line Company: An Experience Report

    David Benavides, José A. Galindo, Alexander Felfernig , Florian Reinfrank

    Safe and Secure Software Reuse: 13th International Conference on Software Reuse, ICSR 2013 / coord. por Maurizio Morisio, 2013, ISBN 9783642389764, págs. 160-175

    
  • Seleccionado

    Automated Reasoning on Feature Models

    David Benavides, Pablo Trinidad Martín-Arroyo , Antonio Ruiz Cortés

    Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE / coord. por A. Bubenko Janis , John Krogstie, Oscar Pastor López , Barbara Pernici, Colette Rolland, 2013, ISBN 9783642369254, págs. 361-374

    • Texto completo
    
  • Seleccionado

    Automated Analysis of Stateful Feature Models

    Pablo Trinidad Martín-Arroyo , Antonio Ruiz Cortés , David Benavides

    Seminal Contributions to Information Systems Engineering: 25 Years of CAiSE / coord. por A. Bubenko Janis , John Krogstie, Oscar Pastor López , Barbara Pernici, Colette Rolland, 2013, ISBN 9783642369254, págs. 375-380

    • Texto completo
    
  • Seleccionado

    FaMa

    David Benavides, Pablo Trinidad Martín-Arroyo , Antonio Ruiz Cortés , Sergio Segura Rueda

    Systems and Software Variability Management: Concepts, Tools and Experiences / coord. por Rafael Capilla Sevilla , Jan Bosch, Kyo-Chul Kang, 2013, ISBN 9783642365829, págs. 163-172

    
  • Seleccionado

    FaMa-OVM: a tool for the automated analysis of OVMs

    Fabricia Carneiro Roos Frantz, José A. Galindo, David Benavides, Antonio Ruiz Cortés

    16th International Software Product Line Conference, SPLC´12 / coord. por Eduardo Santana de Almeida, Christa Schwanninger, David Benavides, Vol. 2, 2012, ISBN 9781450310956, págs. 250-254

    • Texto completo
    
  • Seleccionado

    Internet, ¿un derecho universal?

    David Benavides

    El traje del emperador: 13 propuestas para desnudar el poder / coord. por Concepción Cruz Rojo, Cristina Ibañez Espinosa, Susana Moreno Maestro, 2012, ISBN 978-84-615-5101-9, págs. 281-296

    • Texto Completo Libro
    
  • Seleccionado

    BeTTy: Benchmarking and Testing on the Automated Analysis of Feature Models

    Sergio Segura Rueda , José A. Galindo, David Benavides, José Antonio Parejo Maestre , Antonio Ruiz Cortés

    Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems / coord. por Ulrich Eisenecker, Sven Apel, Stefania Gnesi , 2012, ISBN 9781450310581, págs. 63-71

    • Texto completo
    
  • Seleccionado

    Reverse Engineering Feature Models with Evolutionary Algorithms An Exploratory Study

    Roberto Erick López Herrejón , David Benavides, Sergio Segura Rueda , José A. Galindo, Alexander Egyed

    Search Based Software Engineering: 4th International Symposium, SSBSE 2012 Riva del Garda, Italy, September 28-30, 2012 Proceedings / coord. por Gordon Fraser, Jerffeson Teixeira de Souza, 2012, ISBN 9783642331183, págs. 168-182

    • Texto completo
    
  • Seleccionado

    Configuration of Multi Product Lines by Bridging Heterogeneous Variability Modeling Approaches

    Deepak Dhungana, Goetz Botterweck, Rick Rabiser, Paul Grünbacher, José A. Galindo, David Benavides, Dominik Seichter

    15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany / coord. por Eduardo Almeida, Christa Schwanninger, Klaus Schmid, 2011, ISBN 9780769544878, págs. 120-129

    • Texto completo
    
  • Seleccionado

    Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2011)

    David Benavides, Rick Rabiser, Karina Villela, Peter Y. H. Wong, Martin Becker

    15th International Software Product Line Conference. 21-26 August 2011 Munich, Germany / coord. por Eduardo Almeida, Christa Schwanninger, Klaus Schmid, 2011, ISBN 9780769544878, págs. 336-337

    
  • Seleccionado

    Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach

    Sergio Segura Rueda , David Benavides, Antonio Ruiz Cortés , Robert M. Hierons

    Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France / coord. por Marie-Claude Gaudel, 2010, ISBN 9780769539904, págs. 35-44

    • Texto completo
    
  • Seleccionado

    Automated reasoning for multi-step feature model configuration problems

    Jules White, Brian Dougherty, Douglas C. Schmidt, David Benavides

    SPLC '09 Proceedings of the 13th International Software Product Line Conference, 2009, págs. 11-20

    • Texto completo
    
  • Seleccionado

    Variability Modelling Challenges from the Trenches of an Open Source Product Line Re-Engineering Project

    Arnaud Hubaux, Patrick Heymans, David Benavides

    Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 / coord. por Klaus Pohl Pohl, 2008, ISBN 9780769533032, págs. 55-64

    • Texto completo
    
  • Seleccionado

    Automated Diagnosis of Product-line Configuration Errors in Feature Models

    David Benavides, Antonio Ruiz Cortés , Pablo Trinidad Martín-Arroyo , Douglas C. Schmidt, Jules White

    Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 / coord. por Klaus Pohl Pohl, 2008, ISBN 9780769533032, págs. 225-234

    • Texto completo
    
  • Seleccionado

    FAMA Framework

    David Benavides, Pablo Trinidad Martín-Arroyo , Antonio Ruiz Cortés , Sergio Segura Rueda , Alberto Jiménez

    Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 / coord. por Klaus Pohl Pohl, 2008, ISBN 9780769533032, págs. 359-360

    • Texto completo
    
  • Seleccionado

    First International Workshop on Analyses of Software Product Lines (ASPL�08) www.isa.us.es/aspl08

    David Benavides, Antonio Ruiz Cortés , Patrick Heymans, Don Batory

    Proceedings 12th International Software Product Line Conference. SPLC 2008. Limerick, Ireland 8-12 September 2008 / coord. por Klaus Pohl Pohl, 2008, ISBN 9780769533032, págs. 385-386

    
  • Seleccionado

    FAMA: hacia el análisis automático de modelos de características

    Pablo Trinidad Martín-Arroyo , David Benavides, Sergio Segura Rueda , Antonio Ruiz Cortés

    Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos / Xavier Franch (ed. lit.) , 2007, ISBN 978-84-9732-595-0, págs. 417-418

    
  • Seleccionado

    Automated Merging of Feature Models Using Graph Transformations

    Sergio Segura Rueda , David Benavides, Antonio Ruiz Cortés , Pablo Trinidad Martín-Arroyo

    Generative and Transformational Techniques in Software Engineering II / coord. por Ralf Lämmel, Joost Visser, Joäo Saraiva, 2007, ISBN 978-3-540-88642-6, págs. 489-505

    • Texto completo
    
  • Seleccionado

    Using Java CSP Solvers in the Automated Analyses of Feature Models

    David Benavides, Pablo Trinidad Martín-Arroyo , Antonio Ruiz Cortés , Sergio Segura Rueda

    Generative and Transformational Techniques in Software Engineering. International Summer School, GTTSE 2005 Braga, Portugal, July 4-8, 2005. Revised Papers / coord. por Ralf Lämmel, Joäo Saraiva, Joost Visser, 2006, ISBN 9783540457787, págs. 399-408

    • Texto completo
    
  • Seleccionado

    A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS)

    David Benavides, Antonio Ruiz Cortés , Miguel A. Serrano, Carlos Montes de Oca Vázquez

    Innovative Internet Community Systems. 4th InternationalWorkshop, IICS 2004 Guadalajara, Mexico, June 21-23, 2004. Revised Papers / coord. por Helena Unger, Herwig Unger; Víctor Manuel Larios Rosillo (aut.), Thomas Böhme (aut.), 2006, ISBN 9783540288800, págs. 91-98

    • Texto completo
    
  • Seleccionado

    Automated Reasoning on Feature Models

    David Benavides, Pablo Trinidad Martín-Arroyo , Antonio Ruiz Cortés

    Advanced Information Systems Engineering. 17th International Conference, CAiSE 2005 Porto, Portugal, June 13-17, 2005. Proceedings / coord. por Oscar Pastor López , Joao Falcáo e Cunha , 2005, ISBN 9783540260950, págs. 491-503

    • Texto completo
    
  • Seleccionado

    La Triple Esquizofrenia del investigador en Ingeniería del Software

    David Benavides, Antonio Ruiz Cortés , Carlos Guillermo Müller Cejas, José Miguel Toro Bonilla

    Aspectos filosóficos, psicológicos y metodológicos de la informática / coord. por José María Cavero Barca , Belén Vela , Esperanza Marcos Martínez , 2005, ISBN 84-9772-749-5, págs. 47-56

    
  • Seleccionado

    La esquizofrenia del docente e investigador en Ingeniería del Software

    David Benavides, Antonio Ruiz Cortés , José Miguel Toro Bonilla

    Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004 / Agustín Vicente Benito (dir. congr.), Patricia de la Fuente López (dir. congr.), Cristina Corredor Lanas (dir. congr.), Juan Barba Escribá (dir. congr.) , Alfredo Marcos Martínez (dir. congr.), 2004, ISBN 84-688-8448-0, págs. 584-588

    
  • Seleccionado

    Aplicando la Filosofía de las Ciencias de la Complejidad a la Ingeniería del Software

    David Benavides, Antonio Ruiz Cortés, José Miguel Toro Bonilla

    Métodos de investigación y fundamentos filosóficos en ingeniería del software y sistemas de la información: El Escorial (Madrid), 18 de noviembre de 2002 / coord. por Esperanza Marcos Martínez , 2003, ISBN 84-9772-064-4, págs. 97-105

    
  • Seleccionado

    Automating the Procurement of Web Services

    Octavio Martín Díaz, Antonio Ruiz Cortés , Amador Durán Toro , David Benavides, José Miguel Toro Bonilla

    Service-Oriented Computing - ICSOC 2003 / coord. por Ewa Orlowska, 2003, ISBN 3-540-20681-7, págs. 91-103

    • Texto completo
    
  • Seleccionado

    Un tratamiento sensible a la calidad para la adquisición de servicios web

    José Miguel Toro Bonilla , Joaquín Antonio Peña, Octavio Martín Díaz, David Benavides

    VIII Jornadas de Ingeniería del Software y Bases de Datos: Actas (JISBD'03). Alicante, del 12 al 14 de noviembre de 2003 / coord. por Ernesto Pimentel Sánchez , Nieves R. Brisaboa , Jaime Gómez Ortega , 2003, ISBN 84-688-3836-5, págs. 209-220

    
  • Seleccionado

    Quality of Service Variability in Systems Families Based on Web Services (SFWS)

    David Benavides, Amador Durán Toro , Carlos Montes de Oca Vázquez, Miguel A. Serrano

    Simposio de Informática y Telecomunicaciones / coord. por Rafael Corchuelo Gil , Antonio Ruiz Cortés , Diego Sevilla Ruiz , 2002, ISBN 8469994174, págs. 205-217

    

• Tesis

  • Seleccionado

    On the automated analysis of software product lines using feature models: a framework for developing automated tool support

    David Benavides

    Tesis doctoral dirigida por Amador Durán Toro (dir. tes.) , David Ruiz Cortés (dir. tes.) . Universidad de Sevilla (2007).

    • Resumen
    • Tesis en acceso abierto en: Idus
    

• Tesis dirigidas

  • Seleccionado

    Factores para la adopción de soluciones basadas en software libre

    Víctor Rea Sánchez

    Tesis doctoral dirigida por David Benavides (dir. tes.), Pablo Neira Ayuso (dir. tes.) . Universidad de Sevilla (2022).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    Evidencias empíricas en ingeniería de líneas de productos de software: una aproximación en organizaciones sin conocimientos sobre SPLE

    Ana Eva Chacón Luna

    Tesis doctoral dirigida por David Benavides (dir. tes.), Antonio Manuel Gutiérrez Fernández (dir. tes.) . Universidad de Sevilla (2022).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    Evidencias empíricas en el proceso de enseñanza de la programación. Una aproximación usando ALICE en el contexto universitario

    Mariuxi Vinueza Morales

    Tesis doctoral dirigida por David Benavides (dir. tes.), Diana Borrego Núñez (dir. tes.) . Universidad de Sevilla (2022).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    Configuration Analysis for Large Scale Feature Models: Towards Speculative-Based Solutions

    Cristian L. Vidal Silva

    Tesis doctoral dirigida por José Galindo Gómez (dir. tes.) , David Benavides (dir. tes.). Universidad de Sevilla (2021).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    Enhancing the learning of programming using Scratch: a recommender-systems-based approach in non WEIRD communities

    Jessenia del Pilar Cárdenas Cobo

    Tesis doctoral dirigida por David Benavides (dir. tes.), José Galindo Gómez (dir. tes.) . Universidad de Sevilla (2020).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    On the selection and analysis of software product line implementation components using intelligent techniques

    Jorge Luis Rodas Silva

    Tesis doctoral dirigida por David Benavides (dir. tes.), José Galindo Gómez (dir. tes.) . Universidad de Sevilla (2019).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    Evolution, testing and configuration of variability intensive systems

    José Galindo Gómez

    Tesis doctoral dirigida por Benoit Baudry (dir. tes.) , David Benavides (dir. tes.). Universidad de Sevilla (2015).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    Automated analysis of software product lines with orthogonal variability models: extending the FAMA ecosystem.

    Fabricia Carneiro Roos Frantz

    Tesis doctoral dirigida por David Benavides (dir. tes.), Antonio Ruiz Cortés (dir. tes.) . Universidad de Sevilla (2012).

    • Resumen
    • Tesis en acceso abierto en: Idus
    
  • Seleccionado

    Functional and performance testing of feature model analyisis tools extending the fama ecosystem

    Sergio Segura Rueda

    Tesis doctoral dirigida por David Benavides (dir. tes.), Antonio Ruiz Cortés (dir. tes.) . Universidad de Sevilla (2011).

    • Resumen
    • Tesis en acceso abierto en: Idus
    

• Coordinación

  • Obras Colectivas

    • Seleccionado

      16th International Software Product Line Conference, SPLC´12

      coord. por Eduardo Santana de Almeida, Christa Schwanninger, David Benavides

      New York: ACM 2012

      

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Documat. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.