Charla
      
    
    
      
        
          
            Retos
          
        
          
        
      
    
  Verificación y Validación de Sistemas Altamente Configurables
Aitor Arrieta
Los sistemas de hoy en día son altamente configurables. Esto hace que el proceso de verificación y validación sea aún más complejo. En esta presentación se mostrarán las soluciones que se han investigado en los últimos años en la Universidad de Mondragón y los retos que se visualizan.