IEEE - Institute of Electrical and Electronics Engineers, Inc. - Developing self-verifying service-based systems

2013 IEEE/ACM 28th International Conference on Automated Software Engineering (ASE)

Author(s): Radu Calinescu ; Kenneth Johnson ; Yasmin Rafiq
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 November 2013
Conference Location: Silicon Valley, CA, USA
Conference Date: 11 November 2013
Page(s): 734 - 737
ISBN (Electronic): 978-1-4799-0215-6
DOI: 10.1109/ASE.2013.6693145
Regular:

We present a tool-supported framework for the engineering of service-based systems (SBSs) capable of self-verifying their compliance with developer-specified reliability requirements. These... View More

Advertisement