Generación automática de pruebas estructurales de software mediante búsqueda tabú
Tesis doctoral de Díaz Fernández M. Eugenia La prueba del software es un proceso de verificación y validación caro pero […]
Tesis doctoral de Tuya Gonzalez Pablo Javier
Información academica Tuya Gonzalez Pablo Javier. Tesis donde Tuya Gonzalez Pablo Javier ha sido autor, director o parte del tribunal.
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
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
Una técnica evolutiva para la extracción de reglas de asociación en bases de datos numéricos
Tesis doctoral de Jacinto Mata Vázquez El trabajo desarrollado en esta tesis doctoral se sitúa dentro del proceso de extracción
Especificación de sistemas reactivos distribuidos utilizando estelle síncrono
Tesis doctoral de Miguel Riesco Albizu La popularización de los sistemas distribuidos ha influido en el desarrollo de todo tipo
Pressweb: un proceso para la reingeniería de sistemas heredados hacia servicios web
Tesis doctoral de Ignacio García Rodríguez De Guzmán La evolución del software puede considerarse desde dos puntos de vista: (1)
Evaluación empírica de la comprensión del modelado dinámico en los lenguajes uml y oml de aplicaciones software
Tesis doctoral de Otero Vidal M. Carmen El objetivo de esta tesis consiste en contribuir al conocimiento del modelado dinámico
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
Tesis doctoral de Victor Manuel González Suárez En la presente tesis se elabora la metodología mlav de análisis y modelado
Esquemas de representación de información basados en relaciones. aplicación a la generación automática de representaciones de dominios.
Tesis doctoral de Díaz Rodríguez Susana Irene Este trabajo presentará una nueva técnica de análisis de dominios, que pretende dar
Especificacion y verificacion de sistemas reactivos utilizando metodos estructurados y logica temporal
Tesis doctoral de Tuya Gonzalez Pablo Javier En esta tesis se integran los metodos estructurados (sa/rt) junto con metodos formales