Mostrando 5 resultados de: 5
Filtros aplicados
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(3)
Journal of Systems and Software(1)
Proceedings - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, MODELS 2017(1)
Área temáticas
Métodos informáticos especiales(3)
Programación informática, programas, datos, seguridad(3)
Funcionamiento de bibliotecas y archivos(1)
Miscelánea filosófica(1)
Área de conocimiento
Ciencias de la computación(5)
Ingeniería de software(2)
Teoría de grafos(2)
Optimización matemática(1)
Origen
scopus(5)
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: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