Skip to Main content Skip to Navigation
Journal articles

OCL Contracts for the Verification of Model Transformations

Eric Cariou 1 Nicolas Belloir 1 Franck Barbier 1 Nidal Djemam 
1 LIUPPA - Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour
Document type :
Journal articles
Complete list of metadata
https://hal-univ-pau.archives-ouvertes.fr/hal-01906776
Contributor : GAELLE LANNUZEL Connect in order to contact the contributor
Submitted on : Saturday, October 27, 2018 - 5:45:11 PM
Last modification on : Monday, February 14, 2022 - 11:32:03 AM

Identifiers

  • HAL Id : hal-01906776, version 1

Collections

UNIV-PAU | LIUPPA

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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

42