%0 Journal Article 
%A Santacruz López-Cepero, Francisco Javier
%T Framework para la gestión de invariantes dinámicos en WS-BPEL
%D 2011
%U http://hdl.handle.net/10498/14417
%X 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.
%K prueba de caja blanca de software, ws-bpel, generación dinámica de invariantes, python
%~ Universidad de Cádiz