Mostrando 8 resultados de: 8
Filtros aplicados
Publisher
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings(2)
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016(1)
CEUR Workshop Proceedings(1)
Electronic Communications of the EASST(1)
IEEE Transactions on Software Engineering(1)
Área temáticas
Programación informática, programas, datos, seguridad(6)
Métodos informáticos especiales(5)
Ciencias de la computación(3)
Biblioteconomía y Documentación informatica(1)
Ciencia militar(1)
Origen
scopus(8)
Análisis de transformaciones de modelos ATL con AnATLyzer
Conference ObjectAbstract:Palabras claves:Autores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopusMONDO: Scalable modelling and model management on the Cloud
Conference ObjectAbstract: Achieving scalability in modelling and MDE involves being able to construct large models and domain-Palabras claves:Autores:García-Domínguez A., Guerra E., Juan De Lara, Kolovos D.S., Paige R.F., Ráth I., Sánchez Cuadrado J.S., Sunyé G., Tisi M., Varró D.Fuentes:scopusPattern-based development of Domain-Specific Modelling Languages
Conference ObjectAbstract: Model-Driven Engineering (MDE) promotes the use of models to conduct all phases of software developmPalabras claves:Domain-specific modelling languages, Meta-Modelling, Meta-Modelling Patterns, Modelling EnvironmentsAutores:Garmendia A., Guerra E., Juan De Lara, Pescador A., Sánchez Cuadrado J.S.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: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:scopusReusing model transformations across heterogeneous metamodels
ArticleAbstract: Model transformations are key enablers for multi-paradigm modeling. However, currently there is littPalabras claves:Metamodel heterogeneities, Transformation reuseAutores:Guerra E., Juan De Lara, Kusel A., Retschitzegger W., Sánchez Cuadrado J.S., Schönböck J., Schwinger W., Wimmer M.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