Modularidad en programacion lógico-funcional de primer orden
Tesis doctoral de Molina Bravo Juan Miguel Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en […]
Tesis doctoral de José María Troya Linero
Información academica José María Troya Linero. Tesis donde José María Troya Linero ha sido autor, director o parte del tribunal.
Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. aplicación al lenguaje tesoro.
Tesis doctoral de Rafael Corchuelo Gil Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en
Modelo de disfraces: hacia la adaptabilidad de restricciones de sincronización en los lenguajes concurrentes orientados a objetos.
Tesis doctoral de Fernando Sánchez Figueroa De la unión de los paradigmas de programación concurrente orientada a objetos (pcoo). Este
Componentes software para sistemas distribuidos de tiempo real
Tesis doctoral de Daniel Garrido Márquez El trabajo de la tesis se ha centrado en la integración de tres elementos:
Un enfoque basado en estándares para la integración de técnicas y herramientas de ingeniería de protocolos
Tesis doctoral de Jesús Martinez Cruz En este trabajo de tesis se aborda el uso de tecnologías xml y mda
Una metodología de programación basada en composiciones paralelas de alto nivel cpans.
Tesis doctoral de Mario Rossainz Lopez Bajo un ambiente de objetos paralelos, un enfoque de programación paradigma de la orientación
Desarrollo de aplicaciones científicas basadas en componentes, esqueletos y aspectos
Tesis doctoral de Sergio Romero Leiva Esta tesis presenta aspectsbasco, un nuevo modelo para la programación de aplicaciones científicas de
Interoperabilidad de componentes en linda
Tesis doctoral de Ana María Roldán Ruiz Las principales aportaciones del trabajo de tesis desarrollado consisten en la definición de
Hybridization of exact and metaheuristics techniques for the resolution of combinatorial optimization problems
Tesis doctoral de José Enrique Gallardo Ruiz En esta tesis se aborda la resolución de problemas de optimización combinatoria mediante
Metaheuristicas e ingenieria del software
Tesis doctoral de José Francisco Chicano Garcia En esta tesis doctoral se estudia la aplicación de técnicas metaheurísticas a algunos