TY  - THES 
A3  - Medina Bulo, María Inmaculada
AU  - Palomo Duarte, Manuel
A4  - Lenguajes y Sistemas Informáticos
PY  - 2011
UR  - http://hdl.handle.net/10498/14132
AB  - En los últimos años, las arquitecturas orientadas a servicios están cambiando la filosofía de desarrollo de software en muchos entornos. El uso de servicios web facilita significativamente la interoperabilidad entre sistemas, permitiendo programar...
LA  - spa
KW  - prueba de software
KW  - generación dinámica de invariantes
KW  - servicios web
KW  - arquitecturas orientadas a servicios
KW  - Composición de servicios con WS-BPEL
TI  - Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
M3  - doctoral thesis
ER  -