TY  - THES 
A3  - Palomo Duarte, Manuel
AU  - Álvarez Ayllón, Alejandro
A4  - Lenguajes y Sistemas Informáticos
PY  - 2010
UR  - http://hdl.handle.net/10498/8940
AB  - El lenguaje WS-BPEL, eje vertebrador del trabajo es el resultado del esfuerzo de las principales empresas TIC a nivel mundial (Microsoft, IBM, SAP, Oracle, etc.) por estandarizar la composición de servicios web. De este modo, se abre la puerta a la...
LA  - spa
KW  - prueba de software
KW  - generador dinámico de invariantes potenciales
KW  - SOA
KW  - composiciones de servicios web en WS-BPEL
TI  - Reingeniería y ampliación del generador dinámico de invariantes potenciales para composiciones de servicios web en WS-BPEL Takuan
M3  - bachelor thesis
ER  -