From sofware architecture to formal verification of a distributed system
Tesis doctoral de Sanchez Penas Juan Jose La tesis estudia como ir desde la arquitectura software a la verificación formal […]
Tesis doctoral de Ricardo Peña Mari
Información academica Ricardo Peña Mari. Tesis donde Ricardo Peña Mari ha sido autor, director o parte del tribunal.
Analisis de programas en lenguajes funcionales paralelos
Tesis doctoral de Segura Diaz Clara M. Las tecnicas de analisis de programas se han demostrado útiles en todo tipo
Programación funcional paralela eficiente en eden
Tesis doctoral de Fernando Rubio Diez La tesis se sitúa en el área de los lenguajes funcionales paralelos y muestra
Desarrollo modular de procesadores de lengujaes a partir de especificaciones semanticas reutilizables
Tesis doctoral de José Emilio Labra Gayo En esta tesis se desarrolla un sistema de prototipado del lenguajes de programación
Contributions to formal communication elimination for system models with explicit parallelism
Tesis doctoral de Francesc Xavier Babot Pagés Los métodos de verificación formal se están usando cada vez más en la
Técnicas de diagnóstico y depuración declarativa para lenguajes lógico-funcionales
Tesis doctoral de Rafael Caballero Roldan La falta de herramientas auxiliares tales como depuradores o entornos gráficos ha sido señalada
Tpbc: un calculo sobre redes de petri con tiempo
Tesis doctoral de Olga Marroquin Alonso En el trabajo se realiza un estudio exhaustivo de una extensión con tiempo de
Reglas y estrategias de trasnformación para programas logico-funcionales.
Tesis doctoral de Gines Damian Moreno Valverde El problema de la integración de la programación lógica y funcional esta considerado
Reglas y estrategias de transformación para programas logico-funcionales.
Tesis doctoral de Pascual Julian Iranzo La evaluación parcial (ep) es una técnica de transformación automática que consigue la optimización
Un enfoque formal de la descripcion unificada de sistemas analogicos y digitales.
Tesis doctoral de Natividad Martinez Madrid Los sistemas con componentes tanto analógicos como digitales han sido objeto de considerable estudio