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 “"assumption and commitment"”.
-
A Compositional Framework for the Specification, Verification and Runtime Validation of Reactive Web Services
The Specification and validation/verification of behavioural properties has remained one of the most widely researched themes in the domain of Web services. Current efforts however consider only "static” aspects of service behaviours. XML-based standards/Ontologies for services are limited to …
-
A compositional framework for determining pattern applicability.
… originates in the work of Christopher Alexander and, in recent years, patterns have become a popular part of software development. A pattern is defined as a ‘three-part rule’: a relationship between a given context, a recurring system of forces peculiar to that context, and a specific …