Mostrando 6 resultados de: 6
Filtros aplicados
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)
SLE 2016 - Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, co-located with SPLASH 2016(1)
Software and Systems Modeling(1)
Área temáticas
Programación informática, programas, datos, seguridad(5)
Ciencias de la computación(4)
Métodos informáticos especiales(2)
Biblioteconomía y Documentación informatica(1)
Dirección general(1)
Área de conocimiento
Ciencias de la computación(4)
Optimización matemática(2)
Software(1)
Teoría de grafos(1)
Origen
scopus(6)
A 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: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:scopusSynthesis of OCL pre-conditions for graph transformation rules
Conference ObjectAbstract: Graph transformation (GT) is being increasingly used in Model Driven Engineering (MDE) to describe iPalabras claves:Autores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopus