Incremento del potencial de reutilización del software mediante refactorizacion.
Tesis doctoral de Xania Crespo Gonzalez-carvajal En este trabajo se estudia el area de la reestructuracion y reorganizacion de elementos […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
Nucleo de seguridad para un sistema operativo orientado a objetos soportado por una maquina abstracta
Tesis doctoral de M. Angeles Diaz Fondon Esta tesis describe un mecanismo de protección basado en capacidades diseñado para un
Arquitectura y algoritmos para sistemas transaccionales distribuidos con grupos de procesos
Tesis doctoral de Ricardo Jimenez Peris La popularización de internet ha extendido el uso de los sistemas distribuidos. por otro
Modelo y lenguaje para sistemas transaccionales distribuidos cooperativos y altamente disponible.
Tesis doctoral de Marta Patiño Martínez Con el incremento del uso de los ordenadores como elementos de uso cotidiano ha
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
Reflexión, abstracción y simulación en la lógica de reescritura
Tesis doctoral de Miguel Palomino Tarjuelo La lógica de reescritura es una extensión de la lógica ecuacional habitual que fue
Rule-based software verification and correction
Tesis doctoral de Demis Ballis La creciente complejidad de los sistemas software ha conducido al desarrollo de metodologías formales para
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
Human sequence evaluation: the key-frame approach
Tesis doctoral de Jordi González Sabaté Datos académicos de la tesis doctoral «Human sequence evaluation: the key-frame approach« Título
Estudio de la verificacion de propiedades de programas funcionales de las pruebas manuales al uso de asistentes de pruebas
Tesis doctoral de Jorge Castro José Santiago El principal objetivo de esta tesis es la investigación de una metodología para