 |
Archives Ouvertes : HAL - IMT |  |
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
2
ACES - Autonomic and Critical Embedded Systems
LTCI - Laboratoire Traitement et Communication de l'Information
Elie Richa 1, 2, 3
Author
Etienne Borde 2, 3
Author IdHAL : etienne-borde
Laurent Pautet 2, 3
Author IdHAL : laurent-pautet
Matteo Bordin 1
Author
José Riuz 1
Author
1
AdaCore (FRANCE) (France)
2
ACES - Autonomic and Critical Embedded Systems (Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)
- LTCI - Laboratoire Traitement et Communication de l'Information (Télécom Paris 19 Place Marguerite Perey 91120 PALAISEAU - France)
- IMT - Institut Mines-Télécom [Paris] (37-39 Rue Dareau, 75014 Paris - France)
- Télécom Paris (19 Place Marguerite Perey 91120 Palaiseau - France)
3
INFRES - Département Informatique et Réseaux (46, rue Barrault
75013 Paris - France)
- Télécom ParisTech (46 rue Barrault 75634 Paris Cedex 13 - France)
Document type :
Conference papers
Complete list of metadata
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, September 21, 2021 - 2:16:03 PM
Contributor : Admin Télécom Paristech <>
Submitted on : Wednesday, February 11, 2015 - 4:20:52 PM
Last modification on : Tuesday, September 21, 2021 - 2:16:03 PM
Identifiers
- HAL Id : hal-01115716, version 1
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⟩
Metrics
Record views