Backwards reasoning for model transformations: Method and applications

Article

Abstract: Model transformations are key elements of model driven engineering. Current challenges for transform

Palabras claves:

Model transformation, OCL, Weakest pre-condition

Autores:

Cabot J., Clariso R., Guerra E., Juan De Lara

Fuentes:

scopus