Now showing items 1-20 of 116

    • Presentation
      Icon

      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 ...
    • Presentation
      Icon

      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 ...
    • Presentation
      Icon

      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 ...
    • Presentation
      Icon

      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 ...
    • Article
      Icon

      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 ...
    • Presentation
      Icon

      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. ...
    • Presentation
      Icon

      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 ...
    • Presentation
      Icon

      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, ...
    • Presentation
      Icon

      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 ...
    • Article
      Icon

      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 ...
    • Article
      Icon

      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 ...
    • Presentation
      Icon

      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)
    • Presentation
      Icon

      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 ...
    • Presentation
      Icon

      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 ...
    • Presentation
      Icon

      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. ...
    • Article
      Icon

      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. ...
    • Article
      Icon

      Automated analysis of feature models: challenges ahead 

      Batory, Don; Benavides Cuevas, David Felipe; Ruiz Cortés, Antonio (ACM, 2006)
    • Presentation
      Icon

      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. ...
    • Article
      Icon

      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 ...
    • Presentation
      Icon

      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. ...