Un sistema de negación para prolog
Tesis doctoral de Susana Muñoz Hernández El objetivo de la tesis es validar e implementar un sistema de negación para […]
Tesis doctoral de Juan José Moreno Navarro
Información academica Juan José Moreno Navarro. Tesis donde Juan José Moreno Navarro ha sido autor, director o parte del tribunal.
Semántica y análisis de programas lógico funcionales
Tesis doctoral de Julio Mariño Carballo Los lenguajes de programación lógico-funcionales son un intento de integrar las dos ramas principales
Enxeñería de software orientada a axentes no modelado de sistemas multimedia
Tesis doctoral de David Ramos Valcárcel La evolución de los sistemas multimedia y la proliferación de entornos y software para
Marco de integracion de la usabilidad en el proceso de desarrollo de software
Tesis doctoral de Xavier Ferre Grau En el desarrollo de software está incrementándose el reconocimiento de la usabilidad como atributo
Una aproximación al fallo en programación declarativa multiparadigma
Tesis doctoral de Jaime Sánchez Hernández La negación en programación lógica es un tema ampliamente investigado desde los inicios de
Semánticas formales para un lenguaje funcional paralelo
Tesis doctoral de Mercedes Hidalgo Herrero El objetivo del trabajo es definir semánticas formales para un lenguaje que contiene las
Cálculo de secuentes para sistemas de tipos puros
Tesis doctoral de Francisco Gutiérrez López Los sistemas de tipos puros forman un marco general para definir sistemas de tipos
Una propuesta de formalización de la arquitectura en cuatro capas de uml
Tesis doctoral de José Luis Fernández Alemán Se presenta una propuesta de formalización de la arquitectura en cuatro capas de
Programacion logico-funcional con tipos parametricos y generos ordenados.
Tesis doctoral de Jesús Almendros Jimenez Presentamos un lenguaje lógico-funcional con subtipos en el que las reglas de programa consisten
Sistemas de tipos puros con universos.
Tesis doctoral de Blas Carlos Ruiz Jimenez Los sistemas de tipo puros con universos propuestos en esta tesis permiten modelar