The Community for Technology Leaders
Green Image
Issue No. 08 - August (2008 vol. 41)
ISSN: 0018-9162
pp: 64-71
Giovanni Falcone , University of Mannheim
Monika Juhasz , University of Mannheim
Daniel Brenner , University of Mannheim
Colin Atkinson , University of Mannheim
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.
information technology and systems, software engineering, service specification
Giovanni Falcone, Monika Juhasz, Daniel Brenner, Colin Atkinson, "Specifying High-Assurance Services", Computer, vol. 41, no. , pp. 64-71, August 2008, doi:10.1109/MC.2008.308
99 ms
(Ver 3.1 (10032016))