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 […]
Tesis doctoral sobre Teoría de la programacion
Accede a todas las tesis doctorales sobre Teoría de la programacion mas relevantes.
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
Extensiones del paradigma multiadjunto: programación lógica con multirretículos y aplicaciones al análisis formal de conceptos
Tesis doctoral de Jorge Ruiz Calviño Este trabajo se enmarca en el área de los fundamentos matemáticos para la informática,
Matrix graph grammars
Tesis doctoral de Pedro Pablo Pérez Velasco Esta tesis presenta una algebraización de las gramáticas de grafos. Desde el punto
Debugging techniques for declarative languages: profiling, program slicing and algorithmic debugging
Tesis doctoral de Josep Francesc Silva Galiana La depuración de programas puede ser una tarea ardua. Esto se debe fundamentalmente
Feature oriented model driven product lines
Tesis doctoral de Salvador Trujillo Gonzalez Datos académicos de la tesis doctoral «Feature oriented model driven product lines« Título
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
Languages generated by iterated idempotencies
Tesis doctoral de Leupold Klaus-peter Datos académicos de la tesis doctoral «Languages generated by iterated idempotencies« Título de la
«magma», metodología de la auditoria general del mantenimiento de aplicaciones
Tesis doctoral de Serafín Caridad Simón El objetivo principal de esta tesis es el estudio de los problemas originados por
Dtm- metodología para el diseño de métricas en tiempo real
Tesis doctoral de Aquilino Adolfo Juan Fuente Esta tesis describe una metodología para la implantación de sistemas de métricas ad-hoc