Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 2 of 2 for “"generación dinámica de invariantes"”.
-
Generación dinámica de invariantes para composiciones de servicios web en WS-BPEL
… 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 sistemas de gran tamaño usando otros más simples de manera sencilla. El principal lenguaje …
-
Verificación y validación de composiciones de servicios web en ws-bpel con prueba metamórfica
En la actualidad, el software forma parte del día a día de la gran mayoría de las personas. Los objetos cotidianos y las herramientas que utilizamos para trabajar, comunicarnos o simplemente realizar tareas cotidianas de forma más eficiente, dependen de código para poder funcionar. Esta dependencia …