Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles

Jean-Marie Mottu 1 Olivier Barais 1 Mark Skipper 1 Didier Vojtisek 1 Jean-Marc Jézéquel 1
1 TRISKELL - Reliable and efficient component based software engineering
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00461532
Contributor : Jean-Marie Mottu <>
Submitted on : Thursday, March 4, 2010 - 5:54:54 PM
Last modification on : Tuesday, December 4, 2018 - 10:18:04 AM

Identifiers

  • HAL Id : hal-00461532, version 1

Citation

Jean-Marie Mottu, Olivier Barais, Mark Skipper, Didier Vojtisek, Jean-Marc Jézéquel. Intégration du support OCL dans Kermeta. Spécifiez la sémantique statique de vos méta-modèles. 8e conférence AFADL, Approches Formelles dans l'Assistance au D´eveloppement de Logiciels, 2007, Namur, Belgique, Jun 2007, France. pp. 283-285. ⟨hal-00461532⟩

Share

Metrics

Record views

326