Mostrando 10 resultados de: 19
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(4)
2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, MODELS 2015 - Proceedings(3)
Software and Systems Modeling(3)
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)
Área temáticas
Programación informática, programas, datos, seguridad(12)
Ciencias de la computación(7)
Métodos informáticos especiales(5)
Instrumentos de precisión y otros dispositivos(3)
Sistemas(2)
Área de conocimiento
Software(11)
Ciencias de la computación(6)
Optimización matemática(1)
Simulación por computadora(1)
Origen
scopus(19)
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:scopusA-posteriori typing for Model-Driven Engineering
Conference ObjectAbstract: Model-Driven Engineering is founded on the ability to create and process models conformant to a metaPalabras claves:A-posteriori typing, Dynamic typing, Flexible MDE, Model typing, Partial typingAutores: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:scopusOpen meta-modelling frameworks via meta-object protocols
ArticleAbstract: Meta-modelling is central to Model-Driven Engineering. Many meta-modelling notations, approaches andPalabras claves:Aspect orientation, Extensibility, Flexible meta-modelling, Meta-object protocol, model-driven engineering, Multi-level modellingAutores:Juan De Lara, Sánchez Cuadrado J.S.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:scopus