Blar i NTNU Open på forfatter "Carrez, Cyril"
-
Describing Component Collaboration Using Goal Sequences
Carrez, Cyril; Floch, Jacqueline; Sanders, Richard (Journal article; Peer reviewed, 2008)Services are normally not performed by a single component, but result from the collaboration of several distributed components. Their precise specification and validation require complex models, where the intention of the ...