Interactive specification and verification of behavioral adaptation contracts

• Javier Cámara ^[1] ; Gwen Salaün ^[4] ; Carlos Canal ^[2] ; Meriem Ouederni ^[3]
  1. [1] Universidade de Coimbra

     Universidade de Coimbra

     Coimbra (Sé Nova), Portugal

     
  2. [2] Universidad de Málaga

     Universidad de Málaga

     Málaga, España

     
  3. [3] University of Nantes

     University of Nantes

     Arrondissement de Nantes, Francia

     
  4. [4] Grenoble INP-INRIA-LIG, France

  Mostrar afiliaciones +
• Localización: Information and software technology, ISSN 0950-5849, Vol. 54, Nº 7, 2012, págs. 701-723
• Idioma: inglés
• Enlaces
  • Texto completo