Metodología formal para la especificación de sistemas software en entornos multi-perspectiva
Tesis doctoral de Ana Belen Barragans Martinez El desarrollo de un sistema software complejo implica el trabajo conjunto y colaborativo […]
Tesis doctoral de Joaquin Salvachua Rodriguez
Información academica Joaquin Salvachua Rodriguez. Tesis donde Joaquin Salvachua Rodriguez ha sido autor, director o parte del tribunal.
Agents negotiating in a semantic web architecture (swa)
Tesis doctoral de Rosa María Gil Iranzo La arquitectura semántica diseñada ha sido probada dentro del entorno de la gestión
Contribución a la distribución de contenidos multimedia sobre redes peer-to-peer
Tesis doctoral de Alberto Mozo Velasco Los sistemas cooperativos se despliegan sobre solapamientos de red con el objetivo de compartir
Descripcion y especificacion formal (lotos) del control de flujo del plano de usuario del prm de la b-isdn. propuesta de mejora.
Tesis doctoral de Sebastian Suarez Gil Uno de los grandes retos en el área de la ingeniería de telecomunicación es
Arquitectura de programas a partir de especificaciones formales
Tesis doctoral de Joaquin Salvachua Rodriguez Lotos es un lenguaje de especificacion para la descripcion de protocolos entre sistemas abiertos.