The Community for Technology Leaders
Green Image
Issue No. 08 - August (2008 vol. 41)
ISSN: 0018-9162
pp: 64-71
Colin Atkinson , University of Mannheim
Daniel Brenner , University of Mannheim
Giovanni Falcone , University of Mannheim
Monika Juhasz , University of Mannheim
ABSTRACT
An enhanced approach to service specification strikes a better balance between machine processibility and human readability, and emphasizes testing- as well as reasoning-based assurance techniques. Built-in tests check the compatibility of interacting services at runtime and automatically pinpoint contract mismatches.
INDEX TERMS
information technology and systems, software engineering, service specification
CITATION
Colin Atkinson, Daniel Brenner, Giovanni Falcone, Monika Juhasz, "Specifying High-Assurance Services", Computer, vol. 41, no. , pp. 64-71, August 2008, doi:10.1109/MC.2008.308
83 ms
(Ver 3.3 (11022016))