Mostrando 4 resultados de: 4
Filtros aplicados
Publisher
IEEE Transactions on Software Engineering(1)
Proceedings - International Conference on Software Engineering(1)
Proceedings - International Symposium on Software Reliability Engineering, ISSRE(1)
SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016(1)
Área temáticas
Programación informática, programas, datos, seguridad(4)
Métodos informáticos especiales(2)
Ciencias de la computación(1)
Instrumentos de precisión y otros dispositivos(1)
Sistemas(1)
Área de conocimiento
Ingeniería de software(4)
Software(2)
Ciencias de la computación(1)
Optimización matemática(1)
Origen
scopus(4)
AnATLyzer: 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:scopusUncovering errors in ATL model transformations using static analysis and constraint solving
Conference ObjectAbstract: Model transformations play a prominent role in Model-Driven Engineering (MDE), where they are used tPalabras claves:Constraint Solving, Model transformation, model-driven engineering, Static Analysis, verification and testingAutores: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