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

Elie Richa 1, 2, 3 Etienne Borde 2, 3 Laurent Pautet 2, 3 Matteo Bordin 1 José Riuz 1
1 AdaCore (FRANCE)
2 ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
3 INFRES - Département Informatique et Réseaux
Document type :
Conference papers
Complete list of metadatas
https://hal-imt.archives-ouvertes.fr/hal-01115716
Contributor : Admin Télécom Paristech <>
Submitted on : Wednesday, February 11, 2015 - 4:20:52 PM
Last modification on : Tuesday, October 8, 2019 - 1:44:06 PM

Identifiers

  • HAL Id : hal-01115716, version 1

Collections

INSTITUT-TELECOM | TDS-MACS | PARISTECH | LTCI | INFRES | ACES

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. pp.34-43. ⟨hal-01115716⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

127

Contact

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