Mostrando 10 resultados de: 12
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(2)
ACM Transactions on Software Engineering and Methodology(1)
CEUR Workshop Proceedings(1)
Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems, MODELS 2019(1)
Área temáticas
Programación informática, programas, datos, seguridad(6)
Ciencias de la computación(5)
Instrumentos de precisión y otros dispositivos(3)
Métodos informáticos especiales(2)
Sistemas(1)
Área de conocimiento
Ingeniería de software(11)
Ciencias de la computación(1)
Computación en la nube(1)
Origen
scopus(12)
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:scopusBuilding MDE cloud services with DISTIL
Conference ObjectAbstract: Model-Driven Engineering (MDE) techniques, like transformations, queries, and code generators, werePalabras claves:CLOUD COMPUTING, Code generation, Domain-Specific Languages, model-driven engineering, REST services, Service-oriented programmingAutores:Juan De Lara, Manzanares C., 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: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: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:scopusUsing ATL transformation services in the MDEForge collaborative modeling platform
Conference ObjectAbstract: In the last years, the increasing complexity of Model-Driven Engineering (MDE) tools and techniquesPalabras claves:Autores:Guerra E., Juan De Lara, Pierantonio A., Rocco J.D., Ruscio D.D., Sánchez Cuadrado J.S.Fuentes:scopusReusable model transformation components with bentō
Conference ObjectAbstract: Building high-quality transformations that can be used in real projects is complex and time-consuminPalabras claves:ATL, COMPONENTS, Model transformation, Transformation reuseAutores:Guerra E., Juan De Lara, Sánchez Cuadrado J.S.Fuentes:scopus