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

G. Falcone, M. Juhasz, D. Brenner and C. Atkinson, "Specifying High-Assurance Services," in Computer, vol. 41, no. , pp. 64-71, 2008.
doi:10.1109/MC.2008.308
88 ms
(Ver 3.3 (11022016))