OCL Contracts for the Verification of Model Transformations - Archive ouverte HAL Access content directly
Journal Articles Electronic Communications of the EASST Year : 2009

OCL Contracts for the Verification of Model Transformations

(1) , (1) , (1) ,
1
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01906776 , version 1

Cite

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
46 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More