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 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

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

Share

Metrics

Record views

31