Interactive specification and verification of behavioral adaptation contracts

Javier Cámara, Gwen Salaün, Carlos Canal, Meriem Ouederni. Interactive specification and verification of behavioral adaptation contracts. Information \& Software Technology, 54(7):701-723, 2012. [doi]

Abstract

Abstract is missing.