OCL Contracts for the Verification of Model Transformations - Université de Pau et des Pays de l'Adour Accéder directement au contenu
Article Dans Une Revue Electronic Communications of the EASST Année : 2009

OCL Contracts for the Verification of Model Transformations

Fichier non déposé

Dates et versions

hal-01906776 , version 1 (27-10-2018)

Identifiants

  • HAL Id : hal-01906776 , version 1

Citer

Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL Contracts for the Verification of Model Transformations. Electronic Communications of the EASST, 2009, 24. ⟨hal-01906776⟩

Collections

UNIV-PAU LIUPPA
49 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More