Thesis

  1. Especificación y verificación de sistemas reactivos utilizando métodos estructurados y lógica temporal 1995

    Universidad de Oviedo

Supervised Theses (10)

  1. Maintenance of the logical consistency in Cassandra 2023

    Universidad de Oviedo

    Suárez Otero González, Pablo

  2. Functional testing techniques for new massive data processing paradigms 2019

    Universidad de Oviedo

    Morán Barbón, Jesús

  3. Testing service level agreements in service-based applications 2014

    Universidad de Oviedo

    Palacios Gutiérrez, Marcos

  4. Testing advanced transactions in service-based software systems 2013

    Universidad de Oviedo

    Casado Tejedor, Rubén

  5. Búsqueda dispersa para la generación automática de casos de prueba de software 2008

    Universidad de Oviedo

    Blanco Aguirre, Raquel

  6. Generación de casos de prueba para composiciones de servicios web 2007

    Universidad de Oviedo

    García Fanjul, José

  7. Mejora de casos de prueba en aplicaciones con bases de datos utilizando medidas de cobertura de sentencias sql 2006

    Universidad de Oviedo

    SUAREZ CABAL, MARIA JOSE

  8. Generación automática de pruebas estructurales de software mediante búsqueda tabú 2005

    Universidad de Oviedo

    Díaz Fernández, Eugenia

  9. Obtención automática del entorno en la verificación modular de sistemas reactivos 2004

    Universidad de Oviedo

    Riva Alvarez, Claudio de la

  10. Especificación de sistemas reactivos distribuidos utilizando estelle síncrono 2002

    Universidad de Oviedo

    Riesco Albizu, Miguel

Theses Committees (35)

  1. Committee Member

    A unified data metamodel for relational and NoSQL databases: schema extraction and query 2022

    Universidad de Murcia

    Fernández Candel, Carlos Javier

  2. Chair of the Committee

    Algoritmos para la secuenciación de operaciones de aterrizaje en aeropuertos con restricciones ambientales 2019

    Universidad de Oviedo

    Rodríguez Díaz, Alexia Montserrat

  3. Chair of the Committee

    Técnicas para la mejora de la estabilidad en el Método SPH para la simulación de fluidos 2019

    Universidad de Sevilla

    Perea Rodríguez, Juan José

  4. Chair of the Committee

    Decision-making support in the design, assessment and optimization of cmmi organizational and project management processes using multiparadigm simulation 2017

    Universidad de Cádiz

    CRESPO BERNAL, DANIEL

  5. Chair of the Committee

    Supporting the context life cycle in service-oriented computing 2017

    Universitat Politècnica de Catalunya (UPC)

    CABRERA BEJAR, OSCAR JAIR

  6. Committee Member

    A model-driven engineering approach for the uniquely identity reconciliation of heterogeneous data sources 2017

    Universidad de Sevilla

    González Enríquez, José

  7. Committee Member

    Testing-Based Conceptual Schema Validation in a Model-Driven Environment 2017

    Universitat Politècnica de València

    Granda Juca, María Fernanda

  8. Chair of the Committee

    Optimization techniques for automated software test data generation 2016

    Universidad de Málaga

    Ferrer Urbano, Francisco Javier

  9. Committee Member

    Un marco de referencia para facilitar la interoperabilidad y mantenibilidad de los modelos de procesos de software 2016

    Universidad de Sevilla

    García Borgoñón, Laura

  10. Chair of the Committee

    Monitoring the quality of service to support the service based system lifecycle 2015

    Universitat Politècnica de Catalunya (UPC)

    Oriol, Marc

  11. Committee Member

    Una propuesta de uso y explotación del paradigma guiado por modelos para la mejora de la ingeniería de requisitos Web 2014

    Universidad de Alcalá

    Aragón Serrano, Gustavo

  12. Committee Member

    Caracterización de Sistemas intensivos en Software desde un punto de vista de innovación=Characterizing Software-intensive Systems from the innovation point of view 2014

    Universidad Politécnica de Madrid

    Yagüe Panadero, Agustin

  13. Committee Member

    A framework to evaluate quality of model-driven web engineering approaches 2013

    Universidad de Sevilla

    Domínguez Mayo, Francisco José

  14. Chair of the Committee

    Un modelo para facilitar la integración de estándares de gestión de ti en entornos maduros 2012

    Universitat de les Illes Balears

    Mesquida Calafat, Antoni Lluís

  15. Committee Member

    MATE: methodology for automated model-driven testing applied to software development and software product lines 2012

    Universidad de Castilla-La Mancha

    PEREZ LAMANCHA, BEATRIZ

  16. Committee Member

    Detección de defectos de diseño mediante métricas de código 2012

    Universidad de Valladolid

    López Nozal, Carlos

  17. Committee Member

    Técnicas conceptuales en la gestión de proyectos software 2011

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Ruiz Bertol, Francisco Javier

  18. Committee Member

    Functional and performance testing of feature model analyisis tools extending the fama ecosystem 2011

    Universidad de Sevilla

    Segura Rueda, Sergio

  19. Committee Member

    Generación de pruebas del sistema a partir de la especificación funcional. 2011

    Universidad de Sevilla

    Gutiérrez Rodríguez, Javier Jesús

  20. Committee Member

    Técnicas automáticas para la diagnosis de errores en software diseñado por contrato 2011

    Universidad de Sevilla

    Ceballos Guerrero, Rafael

  21. Chair of the Committee

    Aplicaciones del modelado y simulación a la ingeniería de la usabilidad 2010

    Universidad de Cádiz

    Hurtado Rodríguez, Nuria

  22. Committee Member

    Simulación aplicada a la mejora de los procesos de gestión de servicios TI 2010

    Universidad de Cádiz

    Orta Cuevas, Elena

  23. Committee Member

    New visualization techniques for software project management 2010

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    Aguirregoitia Martínez, Amaia

  24. Committee Member

    Búsquedas genéticas: métodos de optimización global y optimización combinatoria 2009

    Universidad de Cádiz

    Domínguez Jiménez, Juan José

  25. Committee Member

    Proceso de evaluación basado en pruebas para la sustitución de componentes software 2009

    Universidad de Castilla-La Mancha

    Flores Mir, Andres Pablo

  26. Committee Member

    Un modelo de evaluación del trabajo en equipo en proyectos de software 2009

    Universitat de les Illes Balears

    Amengual Alcover, Esperança

  27. Committee Member

    Especificación de un modelo de interacción aplicable a procesos de desarrollo y operación de sistemas con software 2008

    Universidad Politécnica de Madrid

    Alarcón Cavero, Pedro Pablo

  28. Committee Member

    Pressweb: un proceso para la reingeniería de sistemas heredados hacia servicios web 2007

    Universidad de Castilla-La Mancha

    García Rodríguez de Guzmán, Ignacio

  29. Secretary of the Committee

    Plataforma para la usabilidad y accesibilidad en la web (web plus) formalización de un lenguaje de marcado e identificación de heurísticas para el desarrollo de aplicaciones web adaptadas 2005

    Universidad de Oviedo

    FERNANDEZ DE ARRIBA, MARTA

  30. Committee Member

    Un nuevo modelo para la implantación de un sistema de gestión de calidad en pymes de desarrollo de software basado en spice (iso 15504) 2005

    Universitat de les Illes Balears

    Mas Pichaco, Antònia

  31. Secretary of the Committee

    Ramala. Modelo para la mejora de los procesos de gestión de proyectos de software 2004

    Universidad Carlos III de Madrid

    RIMAWI, YASER

  32. Committee Member

    Evaluación empírica de la comprensión del modelado dinámico en los lenguajes uml y oml de aplicaciones software 2003

    Universidad del País Vasco - Euskal Herriko Unibertsitatea

    OTERO VIDAL M. CARMEN

  33. Committee Member

    Metodología de análisis de modelado de sistemas de eventos discretos mediante técnicas orientadas a objetos: aplicación a la generación de la lógica de control basada en iec 61131-3 2002

    Universidad de Oviedo

    GONZÁLEZ SUÁREZ, VICTOR MANUEL

  34. Committee Member

    Una técnica evolutiva para la extracción de reglas de asociación en bases de datos numéricos 2002

    Universidad de Sevilla

    MATA VÁZQUEZ, JACINTO

  35. Committee Member

    Esquemas de representación de información basados en relaciones: aplicación a la generación automática de representaciones de dominios 2001

    Universidad Carlos III de Madrid

    Díaz Rodríguez, Susana Irene