IEEE - Institute of Electrical and Electronics Engineers, Inc. - Interactive Specification and Verification of Behavioural Adaptation Contracts

2009 9th International Conference on Quality Software (QSIC)

Author(s): Camara, J. ; Salaun, G. ; Canal, C. ; Ouederni, M.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2009
Conference Location: Jeju, Korea (South), Korea (South)
Conference Date: 24 August 2009
Page(s): 65 - 75
ISBN (CD): 978-0-7695-3828-0
ISBN (Electronic): 978-1-4244-5913-1
ISBN (Paper): 978-1-4244-5912-4
ISSN (Paper): 1550-6002
DOI: 10.1109/QSIC.2009.17
Regular:

Adaptation is a crucial issue when building new applications by reusing existing software services which were not initially designed to interoperate with each other. Adaptation contracts describe... View More

Advertisement