PABLO JAVIER
TUYA GONZALEZ
Catedrático de Universidad
Tese doutoral
Teses dirixidas (10)
-
Maintenance of the logical consistency in Cassandra 2023
Universidad de Oviedo
-
Functional testing techniques for new massive data processing paradigms 2019
Universidad de Oviedo
-
Testing service level agreements in service-based applications 2014
Universidad de Oviedo
-
Testing advanced transactions in service-based software systems 2013
Universidad de Oviedo
-
Búsqueda dispersa para la generación automática de casos de prueba de software 2008
Universidad de Oviedo
-
Generación de casos de prueba para composiciones de servicios web 2007
Universidad de Oviedo
-
Mejora de casos de prueba en aplicaciones con bases de datos utilizando medidas de cobertura de sentencias sql 2006
Universidad de Oviedo
-
Generación automática de pruebas estructurales de software mediante búsqueda tabú 2005
Universidad de Oviedo
-
Obtención automática del entorno en la verificación modular de sistemas reactivos 2004
Universidad de Oviedo
-
Especificación de sistemas reactivos distribuidos utilizando estelle síncrono 2002
Universidad de Oviedo
Tribunais de teses (35)
-
Vogal do tribunal
A unified data metamodel for relational and NoSQL databases: schema extraction and query 2022Universidad de Murcia
Fernández Candel, Carlos Javier
-
Presidente do tribunal
Algoritmos para la secuenciación de operaciones de aterrizaje en aeropuertos con restricciones ambientales 2019Universidad de Oviedo
Rodríguez Díaz, Alexia Montserrat
-
Presidente do tribunal
Técnicas para la mejora de la estabilidad en el Método SPH para la simulación de fluidos 2019Universidad de Sevilla
Perea Rodríguez, Juan José
-
Presidente do tribunal
Decision-making support in the design, assessment and optimization of cmmi organizational and project management processes using multiparadigm simulation 2017Universidad de Cádiz
CRESPO BERNAL, DANIEL
-
Presidente do tribunal
Supporting the context life cycle in service-oriented computing 2017Universitat Politècnica de Catalunya (UPC)
CABRERA BEJAR, OSCAR JAIR
-
Vogal do tribunal
Testing-Based Conceptual Schema Validation in a Model-Driven Environment 2017Universitat Politècnica de València
Granda Juca, María Fernanda
-
Vogal do tribunal
A model-driven engineering approach for the uniquely identity reconciliation of heterogeneous data sources 2017Universidad de Sevilla
González Enríquez, José
-
Presidente do tribunal
Optimization techniques for automated software test data generation 2016Universidad de Málaga
Ferrer Urbano, Francisco Javier
-
Vogal do tribunal
Un marco de referencia para facilitar la interoperabilidad y mantenibilidad de los modelos de procesos de software 2016Universidad de Sevilla
García Borgoñón, Laura
-
Presidente do tribunal
Monitoring the quality of service to support the service based system lifecycle 2015Universitat Politècnica de Catalunya (UPC)
Oriol, Marc
-
Vogal do tribunal
Una propuesta de uso y explotación del paradigma guiado por modelos para la mejora de la ingeniería de requisitos Web 2014Universidad de Alcalá
Aragón Serrano, Gustavo
-
Vogal do tribunal
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 2014Universidad Politécnica de Madrid
Yagüe Panadero, Agustin
-
Vogal do tribunal
A framework to evaluate quality of model-driven web engineering approaches 2013Universidad de Sevilla
Domínguez Mayo, Francisco José
-
Presidente do tribunal
Un modelo para facilitar la integración de estándares de gestión de ti en entornos maduros 2012Universitat de les Illes Balears
Mesquida Calafat, Antoni Lluís
-
Vogal do tribunal
MATE: methodology for automated model-driven testing applied to software development and software product lines 2012Universidad de Castilla-La Mancha
PEREZ LAMANCHA, BEATRIZ
-
Vogal do tribunal
Detección de defectos de diseño mediante métricas de código 2012Universidad de Valladolid
López Nozal, Carlos
-
Vogal do tribunal
Técnicas conceptuales en la gestión de proyectos software 2011Universidad del País Vasco - Euskal Herriko Unibertsitatea
Ruiz Bertol, Francisco Javier
-
Vogal do tribunal
Functional and performance testing of feature model analyisis tools extending the fama ecosystem 2011Universidad de Sevilla
Segura Rueda, Sergio
-
Vogal do tribunal
Generación de pruebas del sistema a partir de la especificación funcional. 2011Universidad de Sevilla
Gutiérrez Rodríguez, Javier Jesús
-
Vogal do tribunal
Técnicas automáticas para la diagnosis de errores en software diseñado por contrato 2011Universidad de Sevilla
Ceballos Guerrero, Rafael
-
Presidente do tribunal
Aplicaciones del modelado y simulación a la ingeniería de la usabilidad 2010Universidad de Cádiz
Hurtado Rodríguez, Nuria
-
Vogal do tribunal
Simulación aplicada a la mejora de los procesos de gestión de servicios TI 2010Universidad de Cádiz
Orta Cuevas, Elena
-
Vogal do tribunal
New visualization techniques for software project management 2010Universidad del País Vasco - Euskal Herriko Unibertsitatea
Aguirregoitia Martínez, Amaia
-
Vogal do tribunal
Búsquedas genéticas: métodos de optimización global y optimización combinatoria 2009Universidad de Cádiz
Domínguez Jiménez, Juan José
-
Vogal do tribunal
Un modelo de evaluación del trabajo en equipo en proyectos de software 2009Universitat de les Illes Balears
Amengual Alcover, Esperança
-
Vogal do tribunal
Proceso de evaluación basado en pruebas para la sustitución de componentes software 2009Universidad de Castilla-La Mancha
Flores Mir, Andres Pablo
-
Vogal do tribunal
Especificación de un modelo de interacción aplicable a procesos de desarrollo y operación de sistemas con software 2008Universidad Politécnica de Madrid
Alarcón Cavero, Pedro Pablo
-
Vogal do tribunal
Pressweb: un proceso para la reingeniería de sistemas heredados hacia servicios web 2007Universidad de Castilla-La Mancha
García Rodríguez de Guzmán, Ignacio
-
Secretario do tribunal
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 2005Universidad de Oviedo
-
Vogal do tribunal
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) 2005Universitat de les Illes Balears
Mas Pichaco, Antònia
-
Secretario do tribunal
Ramala. Modelo para la mejora de los procesos de gestión de proyectos de software 2004Universidad Carlos III de Madrid
RIMAWI, YASER
-
Vogal do tribunal
Evaluación empírica de la comprensión del modelado dinámico en los lenguajes uml y oml de aplicaciones software 2003Universidad del País Vasco - Euskal Herriko Unibertsitatea
OTERO VIDAL M. CARMEN
-
Vogal do tribunal
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 2002Universidad de Oviedo
-
Vogal do tribunal
Una técnica evolutiva para la extracción de reglas de asociación en bases de datos numéricos 2002Universidad de Sevilla
MATA VÁZQUEZ, JACINTO
-
Vogal do tribunal
Esquemas de representación de información basados en relaciones: aplicación a la generación automática de representaciones de dominios 2001Universidad Carlos III de Madrid