PABLO JAVIER
TUYA GONZALEZ
Catedrático de Universidad
Tesi doctoral
Tesis dirigides (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
Tribunals de tesi (35)
-
Vocal del tribunal
A unified data metamodel for relational and NoSQL databases: schema extraction and query 2022Universidad de Murcia
Fernández Candel, Carlos Javier
-
President del tribunal
Algoritmos para la secuenciación de operaciones de aterrizaje en aeropuertos con restricciones ambientales 2019Universidad de Oviedo
Rodríguez Díaz, Alexia Montserrat
-
President del 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é
-
President del 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
-
President del tribunal
Supporting the context life cycle in service-oriented computing 2017Universitat Politècnica de Catalunya (UPC)
CABRERA BEJAR, OSCAR JAIR
-
Vocal del tribunal
Testing-Based Conceptual Schema Validation in a Model-Driven Environment 2017Universitat Politècnica de València
Granda Juca, María Fernanda
-
Vocal del tribunal
A model-driven engineering approach for the uniquely identity reconciliation of heterogeneous data sources 2017Universidad de Sevilla
González Enríquez, José
-
President del tribunal
Optimization techniques for automated software test data generation 2016Universidad de Málaga
Ferrer Urbano, Francisco Javier
-
Vocal del 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
-
President del tribunal
Monitoring the quality of service to support the service based system lifecycle 2015Universitat Politècnica de Catalunya (UPC)
Oriol, Marc
-
Vocal del 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
-
Vocal del 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
-
Vocal del tribunal
A framework to evaluate quality of model-driven web engineering approaches 2013Universidad de Sevilla
Domínguez Mayo, Francisco José
-
President del 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
-
Vocal del tribunal
MATE: methodology for automated model-driven testing applied to software development and software product lines 2012Universidad de Castilla-La Mancha
PEREZ LAMANCHA, BEATRIZ
-
Vocal del tribunal
Detección de defectos de diseño mediante métricas de código 2012Universidad de Valladolid
López Nozal, Carlos
-
Vocal del tribunal
Técnicas conceptuales en la gestión de proyectos software 2011Universidad del País Vasco - Euskal Herriko Unibertsitatea
Ruiz Bertol, Francisco Javier
-
Vocal del tribunal
Functional and performance testing of feature model analyisis tools extending the fama ecosystem 2011Universidad de Sevilla
Segura Rueda, Sergio
-
Vocal del tribunal
Generación de pruebas del sistema a partir de la especificación funcional. 2011Universidad de Sevilla
Gutiérrez Rodríguez, Javier Jesús
-
Vocal del tribunal
Técnicas automáticas para la diagnosis de errores en software diseñado por contrato 2011Universidad de Sevilla
Ceballos Guerrero, Rafael
-
President del tribunal
Aplicaciones del modelado y simulación a la ingeniería de la usabilidad 2010Universidad de Cádiz
Hurtado Rodríguez, Nuria
-
Vocal del tribunal
Simulación aplicada a la mejora de los procesos de gestión de servicios TI 2010Universidad de Cádiz
Orta Cuevas, Elena
-
Vocal del tribunal
New visualization techniques for software project management 2010Universidad del País Vasco - Euskal Herriko Unibertsitatea
Aguirregoitia Martínez, Amaia
-
Vocal del 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é
-
Vocal del tribunal
Un modelo de evaluación del trabajo en equipo en proyectos de software 2009Universitat de les Illes Balears
Amengual Alcover, Esperança
-
Vocal del tribunal
Proceso de evaluación basado en pruebas para la sustitución de componentes software 2009Universidad de Castilla-La Mancha
Flores Mir, Andres Pablo
-
Vocal del 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
-
Vocal del 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
-
Secretari del 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
-
Vocal del 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
-
Secretari del tribunal
Ramala. Modelo para la mejora de los procesos de gestión de proyectos de software 2004Universidad Carlos III de Madrid
RIMAWI, YASER
-
Vocal del 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
-
Vocal del 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
-
Vocal del 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
-
Vocal del 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