Now showing items 1-1 of 1

    • Presentation
      IconIcon

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