Sciweavers

ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
13 years 8 months ago
Structured Formalization of Service-Oriented Specifications
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...