Listar Ponencias (Lenguajes y Sistemas Informáticos) por materia 

ListarPonencias (Lenguajes y Sistemas Informáticos) por materia "Automated Reasoning"

Mostrando ítems 1-1 de 1

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