Interactive Specification and Verification of Behavioural Adaptation Contracts - researchr publication related

researchr

You are not signed in
Sign in
Sign up

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]

The following publications are possibly variants of this publication:

Semi-Automatic Specification of Behavioural Service Adaptation ContractsJavier Cámara, José Antonio Martín, Gwen Salaün, Carlos Canal, Ernesto Pimentel. ENTCS, 264(1):19-34, 2010. [doi]

Interactive specification and verification of behavioral adaptation contractsJavier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. INFSOF, 54(7):701-723, 2012. [doi]

runs on WebDSL