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 […]
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.
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
A logical model of information retrieval based on proposittional logic and belife revisión
Tesis doctoral de David Enrique Losada Carril En esta tesis se propone un modelo lógico para modelar el problema de
Desarrollo modular de procesadores de lengujaes a partir de especificaciones semanticas reutilizables
Tesis doctoral de José Emilio Labra Gayo En esta tesis se desarrolla un sistema de prototipado del lenguajes de programación
Una metodología para la ingeniería y reingeniería de sistemas de información basada en patrones, antipatrones y marcos
Tesis doctoral de García-tizón Iglesias José M. El objetivo fundamental de la tesis es aportar una metodología para la ingeniería