Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
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 - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017(1)
Área temáticas
Métodos informáticos especiales(2)
Programación informática, programas, datos, seguridad(2)
Sistemas(2)
Ciencias de la computación(1)
Origen
scopus(3)
Translating 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:scopusReusing model transformations through typing requirements models
Conference ObjectAbstract: Model transformations are key elements of Model-Drive Engineering (MDE), where they are used to autoPalabras claves:Autores:Guerra E., Iovino L., Juan De Lara, Pierantonio A., Rocco J.D., Ruscio D.D., 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