Automated verification of model transformations based on visual contracts

Conference Object

Abstract: Model-Driven Engineering promotes the use of models to conduct the different phases of the software

Palabras claves:

Contract-based specification, Model transformation, model-driven engineering, QVT-relations, Verification

Autores:

Guerra E., Juan De Lara, Kappel G., Kusel A., Retschitzegger W., Schönböck J., Schwinger W., Wimmer M.

Fuentes:

scopus