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 […]
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.
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
Tecnicas de implementacion de redes de petri.
Tesis doctoral de Briz Velasco José Luis La tesis hace una revision de las tecnicas existentes de implementacion de redes
Arquitectura de programas a partir de especificaciones formales
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos.
Implementacion de especificaciones algebraicas
Tesis doctoral de Sanchez Ortega Ana R. Las especificaciones formales permiten comprobar la correccion de una implementacion respecrto de su