Tesis de doctorado
Year: 2023
-
Mobile Advertising Spreading Through Personal Social Networks Using a Viral Approach and Branded Apps.
García Dávalos, A. (2023). Phd Thesis, Universidad de Vigo.
Year: 2022
-
Contribuciones al uso de agentes virtuales para estimular la interacción social en niños con Trastorno del Espectro Autista.
Guerrero Vasquez, L. F. (2022). Phd Thesis, Universidad de Vigo.
-
From Social Data to Personalized Task Recommendation: A Semantic Approach.
Kamel, M. A. (2022). Phd Thesis, Universidad de Vigo.
Year: 2021
-
Contributions to semantics-based recommendations and visualization technologies to develop and curate cultural heritage experiences..
Rady Ewies, D. A. (2021). Phd Thesis, Universidad de Vigo.
Year: 2019
-
Aplicación de tecnologías de Web Semántica para mejorar la didáctica de la Historia y el Patrimonio Cultural por medio de narrativas transversales.
Bravo Quezada, O. G. (2019). Phd Thesis.
-
Contribuciones a la gestión del conocimiento en el ámbito de la educación superior mediante técnicas de Inteligencia Artificial.
García Vélez, R. A. (2019). Phd Thesis, Vigo.
-
Contribution to the use of Semantic Web technologies to promote reflection and situational curiosity in Cultural Heritage experiences.
Dahroug, A. T. (2019). Phd Thesis, Universidad de Vigo.
Year: 2018
-
Contribución a los mecanismos de virtualización y enrutado para aplicaciones de conducción autónoma en redes ad-hoc móviles y vehiculares.
Saiáns Vázquez, J. V. (2018). Phd Thesis.
-
Mecanismos de aumentación móvil basados en nubes esporádicas de computación para desplegar y soportar servicios en redes vehiculares ad-hoc..
Ordoñez Morales, E. F. (2018). Phd Thesis.
Year: 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). Phd Thesis, Vigo.
Year: 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). Phd Thesis, Vigo.
Year: 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). Phd Thesis, Vigo.
[Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
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). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
García Dávalos, A. (2023). Phd Thesis, Universidad de Vigo.
-
Contribuciones al uso de agentes virtuales para estimular la interacción social en niños con Trastorno del Espectro Autista.
Guerrero Vasquez, L. F. (2022). Phd Thesis, Universidad de Vigo. -
From Social Data to Personalized Task Recommendation: A Semantic Approach.
Kamel, M. A. (2022). Phd Thesis, Universidad de Vigo.
Year: 2021
-
Contributions to semantics-based recommendations and visualization technologies to develop and curate cultural heritage experiences..
Rady Ewies, D. A. (2021). Phd Thesis, Universidad de Vigo.
Year: 2019
-
Aplicación de tecnologías de Web Semántica para mejorar la didáctica de la Historia y el Patrimonio Cultural por medio de narrativas transversales.
Bravo Quezada, O. G. (2019). Phd Thesis.
-
Contribuciones a la gestión del conocimiento en el ámbito de la educación superior mediante técnicas de Inteligencia Artificial.
García Vélez, R. A. (2019). Phd Thesis, Vigo.
-
Contribution to the use of Semantic Web technologies to promote reflection and situational curiosity in Cultural Heritage experiences.
Dahroug, A. T. (2019). Phd Thesis, Universidad de Vigo.
Year: 2018
-
Contribución a los mecanismos de virtualización y enrutado para aplicaciones de conducción autónoma en redes ad-hoc móviles y vehiculares.
Saiáns Vázquez, J. V. (2018). Phd Thesis.
-
Mecanismos de aumentación móvil basados en nubes esporádicas de computación para desplegar y soportar servicios en redes vehiculares ad-hoc..
Ordoñez Morales, E. F. (2018). Phd Thesis.
Year: 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). Phd Thesis, Vigo.
Year: 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). Phd Thesis, Vigo.
Year: 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). Phd Thesis, Vigo.
[Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
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). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Rady Ewies, D. A. (2021). Phd Thesis, Universidad de Vigo.
-
Aplicación de tecnologías de Web Semántica para mejorar la didáctica de la Historia y el Patrimonio Cultural por medio de narrativas transversales.
Bravo Quezada, O. G. (2019). Phd Thesis. -
Contribuciones a la gestión del conocimiento en el ámbito de la educación superior mediante técnicas de Inteligencia Artificial.
García Vélez, R. A. (2019). Phd Thesis, Vigo. -
Contribution to the use of Semantic Web technologies to promote reflection and situational curiosity in Cultural Heritage experiences.
Dahroug, A. T. (2019). Phd Thesis, Universidad de Vigo.
Year: 2018
-
Contribución a los mecanismos de virtualización y enrutado para aplicaciones de conducción autónoma en redes ad-hoc móviles y vehiculares.
Saiáns Vázquez, J. V. (2018). Phd Thesis.
-
Mecanismos de aumentación móvil basados en nubes esporádicas de computación para desplegar y soportar servicios en redes vehiculares ad-hoc..
Ordoñez Morales, E. F. (2018). Phd Thesis.
Year: 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). Phd Thesis, Vigo.
Year: 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). Phd Thesis, Vigo.
Year: 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). Phd Thesis, Vigo.
[Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
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). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Saiáns Vázquez, J. V. (2018). Phd Thesis.
Ordoñez Morales, E. F. (2018). Phd Thesis.
-
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). Phd Thesis, Vigo.
Year: 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). Phd Thesis, Vigo.
Year: 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). Phd Thesis, Vigo.
[Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
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). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Bravo Torres, J. F. (2015). Phd Thesis, Vigo.
-
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). Phd Thesis, Vigo. [Online version]
Year: 2011
-
Separación Multidimensional de Aspectos para la Especificación y Reutilización de Requisitos en Lenguaje Z.
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una Arquitectura para SIstemas de Consulta Guiados Basada en Tecnologías Semánticas (en portugués).
Paiva, S. (2011). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2010
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
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). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Roque Hernández, R. V. (2011). Phd Thesis, Universidad de Vigo. [Online version]
Paiva, S. (2011). Phd Thesis, Universidad de Vigo. [Online version]
-
Servicios de recomendación de contenidos audiovisuales para grupos de individuos..
Sotelo Bovino, R. (2010). Phd Thesis, Universidad de Vigo. [Online version]
Year: 2009
-
Marco conceptual y arquitectura para el aprendizaje personalizado a través de televisión digital interactiva..
Rey López, M. (2009). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2007
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo.
[Online version]
-
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). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Rey López, M. (2009). Phd Thesis, Universidad de Vigo. [Online version]
-
Metodología formal para la especificación de sistemas software en entornos multi-perspectiva..
Barragáns Martínez, A. B. (2007). Phd Thesis, Universidad de Vigo. [Online version] -
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). Phd Thesis, Universidade de Vigo. [Online version]
Year: 2006
-
Arquitectura de extensión para la tecnología de servicios web.
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo.
[Online version]
-
Soporte Metodológico para la Evolución de Especificaciones Formales. Aplicación en Sistemas Telemáticos.
López Nores, M. (2006). Phd Thesis, Universidade de Vigo.
[Online version]
Year: 2002
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
-
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo.
[Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Fernández Vilas, J. A. (2006). Phd Thesis, Universidad de Vigo. [Online version]
López Nores, M. (2006). Phd Thesis, Universidade de Vigo. [Online version]
-
Reutilización de Requisitos Funcionales de Sistemas Distribuidos utilizando Técnicas de Descripción Formal.
Díaz Redondo, R. P. (2002). Phd Thesis, Universidad de Vigo. [Online version] -
Tratamiento Formal de Sistemas con Requisitos de Tiempo Real Críticos.
Fernández Vilas, A. (2002). Phd Thesis, Universidad de Vigo. [Online version]
Year: 2000
-
Diseño y desarrollo de sistemas distribuidos mediante la aplicación combinada de métodos formales.
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Especificación, verificación y mantenimiento de requisitos funcionales con técnicas de descripción formal.
García Duque, J. (2000). Phd Thesis, Universidad de Vigo.
[Online version]
-
Una arquitectura para sistemas inteligentes adaptativos basada en el modelo de pizarra.
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña.
[Online version]
Gil Solla, A. (2000). Phd Thesis, Universidad de Vigo. [Online version]
García Duque, J. (2000). Phd Thesis, Universidad de Vigo. [Online version]
Ramos Cabrer, M. (2000). Phd Thesis, Universidad de Coruña. [Online version]