Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Article(2)
Publisher
Journal of Systems and Software(2)
Área temáticas
Ciencias de la computación(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Sistemas(1)
Origen
scopus(2)
Backwards reasoning for model transformations: Method and applications
ArticleAbstract: Model transformations are key elements of model driven engineering. Current challenges for transformPalabras claves:Model transformation, OCL, Weakest pre-conditionAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusVerification and validation of declarative model-to-model transformations through invariants
ArticleAbstract: In this paper we propose a method to derive OCL invariants from declarative model-to-model transformPalabras claves:Model-driven development, Model-to-model transformation, OCL, QVT, Triple graph grammars, Verification and validationAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopus