RT bachelor thesis
T1 Framework para la gestión de invariantes dinámicos en WS-BPEL
A1 Santacruz López-Cepero, Francisco Javier
A2 Lenguajes y Sistemas Informáticos
K1 prueba de caja blanca de software, ws-bpel, generación dinámica de invariantes, python
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 desarrollo y perfeccionamiento de tareas de prueba de software para el lenguaje WS-BPEL. En concreto, el objetivo principal es refactorizar el proceso de generación dinámico de invariantes que realiza Takuan y realizar una interfaz gráfica (denominada IdigInBPEL) para facilitar el uso del sistema.
YR 2011
FD 2011-09-27T00:00:00Z
LK http://hdl.handle.net/10498/14417
UL http://hdl.handle.net/10498/14417
LA spa
DS Repositorio Institucional de la Universidad de Cádiz
RD 10-nov-2026