Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
Journal of Systems and Software(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017(1)
SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016(1)
Área de conocimiento
Ciencias de la computación(3)
Ingeniería de software(2)
Optimización matemática(2)
Origen
scopus(4)
An invariant-based method for the analysis of declarative model-to-model transformations
Conference ObjectAbstract: In this paper we propose a method to derive OCL invariants from declarative specifications of model-Palabras claves:Autores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusEfficient model partitioning for distributed model transformations
Conference ObjectAbstract: As the models that need to be handled in model-driven engineering grow in scale, scalable algorithmsPalabras claves:ATL, Data distribution, mapreduce, Model transformation, Static AnalysisAutores:Benelallam A., Cabot J., Juan De Lara, Sánchez Cuadrado J.S., Tisi M.Fuentes:scopusTranslating Target to Source Constraints in Model-to-Model Transformations
Conference ObjectAbstract: Model transformations are used to automate model manipulation in Model-Driven Engineering (MDE). InPalabras claves:integrity constraints, Model Transformations, model-driven engineering, OCL, QualityAutores:Cabot J., Clariso R., Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes: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