Procedimientos de recurrencia lineal en algebra computacional
Tesis doctoral de Raquel Martinez Fernandez Esta tesis presenta las tecnicas algebraicas fundamentales para el tratamiento recursivo de sucesiones de […]
Tesis doctoral de Freire Nistal José Luis
Información academica Freire Nistal José Luis. Tesis donde Freire Nistal José Luis ha sido autor, director o parte del tribunal.
Tao/medtool: un sistema consejero en oncología.
Tesis doctoral de Alvaro Barreiro Garcia La tesis aborda el desarrollo de un sistema experto para el seguimiento de pacientes
Medtool una herramienta para el desarrollo de sistemas expertos.
Tesis doctoral de Ramon Perez Otero Datos académicos de la tesis doctoral «Medtool una herramienta para el desarrollo de
Método de ingeniería de requisitos para manejo de discrepancias
Tesis doctoral de Andrés Silvia Vazquez La ingeniería de requisitos (ir) y en particular; la ingeniería de requisitos orientada a
Bases de gÁ¶bner: desarrollo formal en coq
Tesis doctoral de Gilberto Pérez Vega En primer lugar, se aborda, de forma ajustada a lo que se va a
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
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
Funciones de orden superior en programación funcional. una perspectiva categórica
Tesis doctoral de Freire Brañas José Enrique Identificación de las estructuras subyacentes a las categorías de eilenberg-moore y de kleisli
Reconocimiento de patrones en bosques compartidos
Tesis doctoral de Ribadas Pena Francisco José El uso de árboles como formalismo de representación es una técnica empleada comúnmente
«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