Mostrando 7 resultados de: 7
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
ACM International Conference Proceeding Series(1)
Journal of Systems and Software(1)
Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017(1)
SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016(1)
Área temáticas
Ciencias de la computación(5)
Métodos informáticos especiales(4)
Biblioteconomía y Documentación informatica(1)
Dirección general(1)
Interacción social(1)
Área de conocimiento
Ciencias de la computación(5)
Ingeniería de software(5)
Optimización matemática(2)
Software(1)
Origen
scopus(7)
An invariant-based method for the analysis of declarative model-to-model transformations
Conference ObjectAbstract: In this paper we propose a method to derive OCL invariants from declarative specifications of model-Palabras claves:Autores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusA UML/OCL framework for the analysis of graph transformation rules
ArticleAbstract: In this paper we present an approach for the analysis of graph transformation rules based on an intePalabras claves:Domain specific visual languages, Graph transformation, Meta-Modelling, OCL, Verification and validationAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusA research roadmap towards achieving scalability in model driven engineering
Conference ObjectAbstract: As Model-Driven Engineering (MDE) is increasingly applied to larger and more complex systems, the cuPalabras claves:Autores:Cabot J., Guerra E., Juan De Lara, Kolovos D.S., Matragkas N., Paige R.F., Ráth I., Rose L.M., Sanchez-Cuadrado J., Tisi M., Varró D.Fuentes:scopusEngaging end-users in the collaborative development of domain-specific modelling languages
Conference ObjectAbstract: Domain-Specific Modelling Languages (DSMLs) are high-level languages specially designed to perform tPalabras claves:Cooperative Engineering, Domain-Specific Languages, Language engineering, model-driven engineeringAutores:Cabot J., Guerra E., Izquierdo J.L.C., Juan De Lara, López-Fernández J.J., Sanchez-Cuadrado J.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: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:scopusVerification and validation of declarative model-to-model transformations through invariants
ArticleAbstract: In this paper we propose a method to derive OCL invariants from declarative model-to-model transformPalabras claves:Model-driven development, Model-to-model transformation, OCL, QVT, Triple graph grammars, Verification and validationAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopus