Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains

Elie Richa 1 Etienne Borde 2 Laurent Pautet 2 Matteo Bordin 1 José Riuz 1
1 AdaCore (FRANCE)
2 LTCI - Laboratoire Traitement et Communication de l'Information
Abstract : ---
Type de document :
Communication dans un congrès
MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. CEUR-WS.org, pp.34-43, 2014
Liste complète des métadonnées
https://hal-imt.archives-ouvertes.fr/hal-01115716
Contributeur : Admin Télécom Paristech <>
Soumis le : mercredi 11 février 2015 - 16:20:52
Dernière modification le : jeudi 11 janvier 2018 - 06:23:39

Identifiants

  • HAL Id : hal-01115716, version 1

Collections

TELECOM-PARISTECH | TDS-MACS | PARISTECH

Citation

Elie Richa, Etienne Borde, Laurent Pautet, Matteo Bordin, José Riuz. Precondition Analysis in Algebraic Graph Transformation to Support the Testing of Model Transformation Chains. MODELS workshop on Analysis of Model Transformations, Oct 2014, Valencia, Spain. CEUR-WS.org, pp.34-43, 2014. 〈hal-01115716〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

109

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD