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

Elie Richa; Etienne Borde; Laurent Pautet; Matteo Bordin; José Riuz

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 ¹ José Riuz ¹

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

Domain :

Computer Science [cs] / Software Engineering [cs.SE]

Computer Science [cs] / Embedded Systems

Computer Science [cs] / Modeling and Simulation

Computer Science [cs] / Data Structures and Algorithms [cs.DS]

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, October 19, 2021 - 11:14:16 AM

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

Identifiers

Collections

Citation

Export

Metrics

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

Identifiers

Collections

Citation

Export

Share

Metrics