Skip to Main content Skip to Navigation
Journal articles

OCL Contracts for the Verification of Model Transformations

Document type :
Journal articles
Complete list of metadata

https://hal-univ-pau.archives-ouvertes.fr/hal-01906776
Contributor : Gaelle Chancerel-Lannuzel <>
Submitted on : Saturday, October 27, 2018 - 5:45:11 PM
Last modification on : Saturday, January 30, 2021 - 3:23:06 AM

Identifiers

  • HAL Id : hal-01906776, version 1

Collections

Citation

Eric Cariou, Nicolas Belloir, Franck Barbier, Nidal Djemam. OCL Contracts for the Verification of Model Transformations. Electronic Communications of the EASST, European Association of Software Science and Technology e.V, 2009, 24. ⟨hal-01906776⟩

Share

Metrics

Record views

23