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 Year : 2014

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

(1, 2, 3) , (2, 3) , (2, 3) , (1) , (1)

1
2
3

Elie Richa

Function : Author

AdaCore (FRANCE)

Autonomic and Critical Embedded Systems

Département Informatique et Réseaux

Etienne Borde

Function : Author
PersonId : 177843
IdHAL : etienne-borde

Autonomic and Critical Embedded Systems

Département Informatique et Réseaux

Laurent Pautet

Function : Author
PersonId : 178117
IdHAL : laurent-pautet
ORCID : 0000-0003-0888-187X

Autonomic and Critical Embedded Systems

Département Informatique et Réseaux

Matteo Bordin

Function : Author

AdaCore (FRANCE)

José Riuz

Function : Author

AdaCore (FRANCE)

Domains

Software Engineering [cs.SE] Embedded Systems Modeling and Simulation Data Structures and Algorithms [cs.DS]

Admin Télécom Paristech : Connect in order to contact the contributor

https://hal-imt.archives-ouvertes.fr/hal-01115716

Submitted on : Wednesday, February 11, 2015-4:20:52 PM

Last modification on : Sunday, April 2, 2023-10:56:04 AM

Dates and versions

hal-01115716 , version 1 (11-02-2015)

Identifiers

HAL Id : hal-01115716 , version 1

Cite

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share