Mostrando 10 resultados de: 13
Publisher
Software and Systems Modeling(3)
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings(2)
ACM Transactions on Software Engineering and Methodology(1)
Actas de las 21st Jornadas de Ingenier�a del Software y Bases de Datos, JISBD 2016(1)
IEEE Transactions on Software Engineering(1)
Área temáticas
Métodos informáticos especiales(6)
Instrumentos de precisión y otros dispositivos(3)
Ciencias de la computación(2)
Biblioteconomía y Documentación informatica(1)
Sistemas(1)
Área de conocimiento
Ingeniería de software(12)
Ciencias de la computación(6)
Software(6)
Optimización matemática(1)
Simulación por computadora(1)
Origen
scopus(13)
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:scopusAnálisis de transformaciones de modelos ATL con AnATLyzer
Conference ObjectAbstract:Palabras claves:Autores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopusExample-driven meta-model development
ArticleAbstract: The intensive use of models in model-driven engineering (MDE) raises the need to develop meta-modelsPalabras claves:Domain-specific modelling languages, Example-driven modelling, Interactive Meta-Modelling, Meta-Model Design Exploration, Meta-model induction, Meta-model validation, Meta-ModellingAutores:Guerra E., Juan De Lara, López-Fernández J.J., 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:scopusModel-driven engineering with domain-specific meta-modelling languages
ArticleAbstract: Domain-specific modelling languages are normally defined through general-purpose meta-modelling langPalabras claves:Domain-specific meta-modelling, METADEPTH, model-driven engineering, Multi-level meta-modelling, Textual concrete syntaxAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.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: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: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: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:scopus