Thiago M. Castro

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Service-oriented computing has emerged as an e®ective approach for integrating business (and systems) that might spread throughout di®erent organizations. A service is a unit of logic modularization that hides implementation details using well-de ̄ned contracts. However, existing languages for contract speci ̄cation in this domain present several(More)
  • 1