TY  - THES 
A3  - García Domínguez, Antonio
A3  - Palomo Duarte, Manuel
AU  - Santacruz López-Cepero, Francisco Javier
A4  - Lenguajes y Sistemas Informáticos
PY  - 2011
UR  - http://hdl.handle.net/10498/14417
AB  - Este Proyecto de Fin de Carrera (PFC) ha sido realizado en colaboración con el grupo de investigación SPI&FM (Software Process Improvement and Formal Methods) en su línea de Ingeniería Web. Esta línea de investigación se encuentra centrada en el...
LA  - spa
KW  - prueba de caja blanca de software, ws-bpel, generación dinámica de invariantes, python
TI  - Framework para la gestión de invariantes dinámicos en WS-BPEL
M3  - bachelor thesis
ER  -