Mostrando 2 resultados de: 2
Área temáticas
Ciencias de la computación(2)
Origen
scopus(2)
Automated verification of model transformations based on visual contracts
Conference ObjectAbstract: Model-Driven Engineering promotes the use of models to conduct the different phases of the softwarePalabras claves:Contract-based specification, Model transformation, model-driven engineering, QVT-relations, VerificationAutores:Guerra E., Juan De Lara, Kappel G., Kusel A., Retschitzegger W., Schönböck J., Schwinger W., Wimmer M.Fuentes:scopusReusing model transformations across heterogeneous metamodels
ArticleAbstract: Model transformations are key enablers for multi-paradigm modeling. However, currently there is littPalabras claves:Metamodel heterogeneities, Transformation reuseAutores:Guerra E., Juan De Lara, Kusel A., Retschitzegger W., Sánchez Cuadrado J.S., Schönböck J., Schwinger W., Wimmer M.Fuentes:scopus