LIBROS DEL AUTOR: luciano baresi

1 resultados para LIBROS DEL AUTOR: luciano baresi

  • Test and Analysis of Web Services
    Luciano Baresi
    Analysis.- Specifying and Monitoring Service Flows: Making Web Services Process-Aware.- Analyzing Conversations: Realizability, Synchronizability, and Verification.- WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography.- Model Checking with Abstraction for Web Services.- Testing.- Unit Testing BPEL Compositions.- A Model-Driven Approach t...
    Disponible

    156,36 €