Iniciar sesión
Portada
Noticias
Premios locales
Prensa
Colaborar
FAQ
Patrocinio
¿Quieres Patrocinar?
Envíanos un correo a contacto
EN
concursosoftwarelibre
PUNTO
org
Patrocinador Principal
Patrocinador Oro
Patrocinador Plata
Patrocinadores Bronce
Patrocina
Organiza
Principal
»
Lista de proyectos
Reingeniería y ampliación del generador dinámico de invariantes potenciales para composiciones de servicios web WS-BPEL Takuan
Trabajo de ampliación y documentación sobre el generador de invariantes para composiciones WS-BPEL Takuan.
Alejandro Álvarez Ayllón
Universidad de Cádiz (Cádiz)
Tutor/a
Manuel Palomo Duarte
Universidad de Cádiz (Departamento de Lenguajes y Sistemas Informáticos)