Modelos y técnicas para la especificación y el análisis de la navegación en sistemas software
Tesis doctoral de María José Escalona Cuaresma La ingeniería del software, definida como el estudio de los principios y metodologías […]
Tesis doctoral de Miguel Toro Bonilla
Información academica Miguel Toro Bonilla. Tesis donde Miguel Toro Bonilla ha sido autor, director o parte del tribunal.
Baseline-oriented modeling: una aproximación mda basada en líneas de productos software para el desarrollo de aplicaciones: (dominio de los sistemas expertos).
Tesis doctoral de María Eugenia Cabello Espinosa Esta tesis presenta la aproximación denominada baseline oriented modeling (bom). Bom es un
Generacion de casos de prueba para composiciones de servicios web
Tesis doctoral de Jose Garcia Fanjul En los últimos años se ha detectado un importante y sostenido aumento en la
Resolución de la ambiguedad léxica mediante aprendizaje por cuantificación vectorial
Tesis doctoral de Manuel García Vega La desambiguación del sentido de las palabras (word sense disambiguation) es el problema de
Funciones nucleo sobre estructuras cualitativas.
Tesis doctoral de Francisco Javier Ruiz Vegas This thesis contributes to the design of specific kernels to be used on
Mejora de casos de prueba en aplicaciones con bases de datos utilizando medidas de cobertura de sentencias sql
Tesis doctoral de Suarez Cabal María Jose Durante años se han realizado estudios que determinan la importancia de la realización
Reutilizacion de servicios web mediante componentes integrados
Tesis doctoral de Carlos Granell Canut Desde los inicios de la era de la información la reutilización ha supuesto una
Localizacion de centros de servicios atractivos y/o repulsivos con algoritmos de ramificacion y poda
Tesis doctoral de Cristobal Chamizo Guerra El trabajo presenta un algoritmo de ramificación y poda basado en el análisis intervalar
Bifurcaciones en sistemas dinamicos discretos. una aplicacion al mercado cervecero.
Tesis doctoral de Purificacion Nadal Morales En este trabajo se analiza la relación dinámica discreta existente entre el mercado potencial
Obtención automática del entorno en la verificación modular de sistemas reactivos
Tesis doctoral de Claudio De La Riva Alvarez El enfoque modular es una de las técnicas más adecuadas para aliviar