TIC025
Grupo UCASE de Ingeniería del Software
Teses dirixidas (14) Teses que dirixiron as persoas membros do grupo
2023
-
Técnicas de prueba avanzadas para la generación de casos de prueba
Valle Gómez, Kevin Jesús
Dirixida por MARIA INMACULADA MEDINA BULO y PEDRO DELGADO PEREZ
2022
-
ASTREA Framework: Development of Adaptive Monitoring Systems for Dynamic and Mobile Environments
Balderas Diaz, Sara
Dirixida por GABRIEL JOSE GUERRERO CONTRERAS -
Fall event analysis based on sensor fusion (análisis de eventos de caída basado en la fusión de sensores)
La Blunda, Luigi
Dirixida por MARIA INMACULADA MEDINA BULO
2021
-
Procesamiento de datos heterogéneos en el internet de las cosas
Corral Plaza, David José
Dirixida por MARIA INMACULADA MEDINA BULO y GUADALUPE ORTIZ BELLOT
2019
-
On the heuristic network optimization of static, dynamic, and highly-dynamic communication network infrastructures
Mueller-Bady, Robin
Dirixida por MARIA INMACULADA MEDINA BULO
2017
-
Prueba de mutación evolutiva en entornos orientados a objetos
Delgado Pérez, Pedro
Dirixida por MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ -
Arquitectura orientada a servicios consciente del contexto: Una aproximación no intrusiva
García de Prado Fontela, Alfonso
Dirixida por GUADALUPE ORTIZ BELLOT -
Generación automática de casos en procesamiento de eventos con EPL
Gutiérrez Madroñal, Lorena
Dirixida por MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ
2015
-
Event-driven principles and complex event processing for self-adaptive network analysis and surveillance systems
Gad, Rüdiger
Dirixida por MARIA INMACULADA MEDINA BULO
2014
-
Desarrollo dirigido por modelos de interfaces específicas de dominio para el procesamiento de eventos complejos en arquitecturas orientadas a servicios
Boubeta Puig, Juan
Dirixida por MARIA INMACULADA MEDINA BULO y GUADALUPE ORTIZ BELLOT
2013
-
Aplicación de la prueba de mutaciones a composiciones de servicios web en ws-bpel para la generación de conjuntos de casos de prueba de calidad
Estero Botaro, Antonia
Dirixida por MARIA INMACULADA MEDINA BULO y JUAN JOSE DOMINGUEZ JIMENEZ -
Metodología dirigida por modelos para las pruebas de un sistema distribuido multiagente de fabricación
García Domínguez, Antonio
Dirixida por MARIANO MARCOS BARCENA y MARIA INMACULADA MEDINA BULO
2011
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
Palomo Duarte, Manuel
Dirixida por MARIA INMACULADA MEDINA BULO
2009
-
Búsquedas genéticas: métodos de optimización global y optimización combinatoria
Domínguez Jiménez, Juan José
Dirixida por MARIA INMACULADA MEDINA BULO