Tese doutoral

  1. Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal 2000

    Universidade de Vigo

Teses dirixidas (2)

  1. Contribución a los modelos de soporte pedagógico basados en tics y sistemas inteligentes como herramientas de apoyo a la educación especial y terapia de lenguaje 2016

    Universidade de Vigo

    Robles Bykbaev, Vladimir

  2. Soporte metodológico para la evolución de especificaciones formales. Aplicación en sistemas telemáticos 2006

    Universidade de Vigo

    LOPEZ NORES, MARTIN