Mostrando 10 resultados de: 14
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(5)
Journal of Systems and Software(2)
Software and Systems Modeling(2)
ACM International Conference Proceeding Series(1)
Lecture Notes in Business Information Processing(1)
Área temáticas
Ciencias de la computación(9)
Programación informática, programas, datos, seguridad(7)
Métodos informáticos especiales(4)
Física aplicada(2)
Biblioteconomía y Documentación informatica(1)
Área de conocimiento
Ciencias de la computación(8)
Ingeniería de software(6)
Optimización matemática(3)
Teoría de grafos(3)
Software(2)
Origen
scopus(14)
Backwards reasoning for model transformations: Method and applications
ArticleAbstract: Model transformations are key elements of model driven engineering. Current challenges for transformPalabras claves:Model transformation, OCL, Weakest pre-conditionAutores:Cabot J., Clariso R., Guerra E., Juan De LaraFuentes:scopusAn 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 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:scopusOn the opportunities of scalable modeling technologies: An experience report on wind turbines control applications development
Conference ObjectAbstract: Scalability in modeling has many facets, including the ability to build larger models and domain spePalabras claves:Experience report, Model-based engineering (MBE), scalabilityAutores:Bergmann G., Cabot J., Debreceni C., Garmendia A., Gómez A., Juan De Lara, Kolovos D.S., Mendialdua X., Trujillo S.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:scopus