Interactive Specification and Verification of Behavioural Adaptation Contracts

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Interactive Specification and Verification of Behavioural Adaptation Contracts. In Byoungju Choi, editor, Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009. pages 65-75, IEEE Computer Society, 2009. [doi]

Abstract

Abstract is missing.