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 […]
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.
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
Observadores lineales: un lenguaje de especificacion de propiedades para verificacion de protocolos.
Tesis doctoral de Pedro Merino Gomez La verificación de protocolos es una actividad fundamental para localizar errores de diseño y
Analisis de lenguajes logicos concurrentes mediante interpretacion abstracta.
Tesis doctoral de María Del Mar Gallardo Melgarejo En la memoria se muestran distintas aplicaciones de la tecnica de interpretación