Mostrando 9 resultados de: 9
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(3)
ACM International Conference Proceeding Series(1)
Journal of Systems and Software(1)
Lecture Notes in Business Information Processing(1)
Proceedings - 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2010(1)
Área temáticas
Programación informática, programas, datos, seguridad(5)
Métodos informáticos especiales(4)
Biblioteconomía y Documentación informatica(1)
Funcionamiento de bibliotecas y archivos(1)
Miscelánea filosófica(1)
Área de conocimiento
Ciencias de la computación(6)
Ingeniería de software(4)
Teoría de grafos(3)
Optimización matemática(2)
Software(2)
Origen
scopus(9)
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:scopusAnalysing graph transformation rules through OCL
Conference ObjectAbstract: In this paper we present an approach to the analysis of graph transformation rules based on an interPalabras claves:Autores: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: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:scopusLightweight executability analysis of graph transformation rules
Conference ObjectAbstract: Domain Specific Visual Languages (DSVLs) play a cornerstone role in Model-Driven Engineering (MDE),Palabras claves:Autores:Cabot J., Gómez C., Guerra E., Juan De Lara, Planas E.Fuentes:scopusTowards automating the synthesis of chatbots for conversational model query
Conference ObjectAbstract: Conversational interfaces (also called chatbots) are being increasingly adopted in various domains sPalabras claves:Automatic chatbot synthesis, Model query, model-driven engineeringAutores:Cabot J., Daniel G., Guerra E., Juan De Lara, Perez-Soler 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: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