Un lenguaje para la especificacion y validacion de arquitecturas de software
Tesis doctoral de José Carlos Canal Velasco A medida que aumenta la complejidad de los sistemas de software surgen aspectos […]
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.
Diseño de una infraestructura de notarización para comercio electrónico
Tesis doctoral de Francisco Javier Lopez Muñoz En una situación ideal los usuarios de las reces de información digital deberian
Red neuronal recurrente multivaluada para el reconocimiento de patrones y la optimización combinatoria
Tesis doctoral de Enrique Merida Casermeiro Se propone una nueva red neuronal recurrente a la que se dota de una
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
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