Tesis de doctorado

Año: 2016

  • 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.
    Robles Bykbaev, V. E. (2016). Tesis de doctorado, Vigo.

Año: 2015

  • Mejora de los servicios de comunicaciones sobre redes móviles ad hoc en escenarios pedestres y vehiculares mediante virtualización..
    Bravo Torres, J. F. (2015). Tesis de doctorado, Vigo.

Año: 2012

  • Estrategias para el Incremento de la Fiabilidad y Confianza en Sistemas de Recomendación Colaborativa. Un Enfoque Semántico para la Personalización de la Publicidad en Comercio Electrónico..
    Martín Vicente, M. I. (2012). Tesis de doctorado, Vigo.
    [Version online]

Año: 2011

  • Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
    Roque Hernández, R. V. (2011). Tesis de doctorado, Universidad de Vigo.
    [Version online]
  • Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
    Paiva, S. (2011). Tesis de doctorado, Universidad de Vigo.
    [Version online]

Año: 2010

  • Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
    Sotelo Bovino, R. (2010). Tesis de doctorado, Universidad de Vigo.
    [Version online]

Año: 2009

  • Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
    Rey López, M. (2009). Tesis de doctorado, Universidad de Vigo.
    [Version online]

Año: 2007

  • Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
    Barragáns Martínez, A. B. (2007). Tesis de doctorado, Universidad de Vigo.
    [Version online]
  • Propuesta metodológica para el razonamiento semántico en sistemas de recomendación personalizada y automática. Aplicación al caso de contenidos audiovisuales..
    Blanco Fernández, Y. (2007). Tesis de doctorado, Universidade de Vigo.
    [Version online]

Año: 2006

  • Arquitectura de extensión para la tecnología de servicios web.
    Fernández Vilas, J. A. (2006). Tesis de doctorado, Universidad de Vigo.
    [Version online]
  • Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
    López Nores, M. (2006). Tesis de doctorado, Universidade de Vigo.
    [Version online]

Año: 2002

  • Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
    Díaz Redondo, R. P. (2002). Tesis de doctorado, Universidad de Vigo.
    [Version online]
  • Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
    Fernández Vilas, A. (2002). Tesis de doctorado, Universidad de Vigo.
    [Version online]

Año: 2000

  • Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
    Gil Solla, A. (2000). Tesis de doctorado, Universidad de Vigo.
    [Version online]
  • Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
    García Duque, J. (2000). Tesis de doctorado, Universidad de Vigo.
    [Version online]
  • Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
    Ramos Cabrer, M. (2000). Tesis de doctorado, Universidad de Coruña.
    [Version online]

Año: 1995

  • Transformación y Verificación con LOTOS.
    Pazos Arias, J. J. (1995). Tesis de doctorado, Universidad Politécnica de Madrid.