Mostrando 8 resultados de: 8
Filtros aplicados
Publisher
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings(1)
ACM Transactions on Software Engineering and Methodology(1)
IEEE Transactions on Software Engineering(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS 2019(1)
Área temáticas
Programación informática, programas, datos, seguridad(7)
Métodos informáticos especiales(3)
Ciencias de la computación(2)
Biblioteconomía y Documentación informatica(1)
Instrumentos de precisión y otros dispositivos(1)
Área de conocimiento
Ingeniería de software(8)
Software(4)
Ciencias de la computación(3)
Optimización matemática(1)
Origen
scopus(8)
Automated reuse of model transformations through typing requirements models
ArticleAbstract: Model transformations are key elements of model-driven engineering, where they are used to automatePalabras claves:ATL, Meta-Modelling, Model transformation, Model transformation reuse, refinementAutores:Guerra E., Iovino L., Juan De Lara, Pierantonio A., Rocco J.D., Ruscio D.D., Sánchez Cuadrado J.S.Fuentes:scopusAnATLyzer: An advanced IDE for ATL model transformations
Conference ObjectAbstract: Model transformations (MTs) are key in model-driven engineering as they automate model manipulation.Palabras claves:ATL, Model transformation, model-driven engineering, Static Analysis, ZverificationAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes: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:scopusTowards Effective Mutation Testing for ATL
Conference ObjectAbstract: The correctness of model transformations is crucial to obtain high-quality solutions in model-drivenPalabras claves:ATL, Model Transformations, Mutation testingAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopusQuick fixing ATL model transformations
Conference ObjectAbstract: The correctness of model transformations is key to obtain reliable MDE solutions. However, current tPalabras claves:ATL, Model transformation, Quick fixes, Transformation Static Analysis, verification and testingAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopusQuick fixing ATL transformations with speculative analysis
ArticleAbstract: Model transformations are central components of most model-based software projects. While ensuring tPalabras claves:ATL, Model transformation, Quick fixes, Speculative analysis, Transformation Static AnalysisAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopusReusable model transformation components with bentō
Conference ObjectAbstract: Building high-quality transformations that can be used in real projects is complex and time-consuminPalabras claves:ATL, COMPONENTS, Model transformation, Transformation reuseAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopusStatic Analysis of Model Transformations
ArticleAbstract: Model transformations are central to Model-Driven Engineering (MDE), where they are used to transforPalabras claves:ATL, model finders, Model transformation, model-driven engineering, Static Analysis, verification and testingAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopus