Skip to Main content Skip to Navigation
New interface
Conference papers

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 metadata
https://hal-imt.archives-ouvertes.fr/hal-01115716
Contributor : Admin Télécom Paristech Connect in order to contact the contributor
Submitted on : Wednesday, February 11, 2015 - 4:20:52 PM
Last modification on : Tuesday, May 17, 2022 - 6:50:02 PM

Identifiers

  • HAL Id : hal-01115716, version 1

Collections

INSTITUT-TELECOM | PARISTECH | TDS-MACS | 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 Datacite

Share

Metrics

Record views

71