Mostrando 4 resultados de: 4
Publisher
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(2)
Lecture Notes in Computer Science(1)
Theoretical Computer Science(1)
Área temáticas
Ciencias de la computación(3)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Objetivos de Desarrollo Sostenible
ODS 4: Educación de calidad(3)
ODS 10: Reducción de las desigualdades(2)
ODS 16: Paz, justicia e instituciones sólidas(2)
ODS 17: Alianzas para lograr los objetivos(2)
ODS 9: Industria, innovación e infraestructura(2)
Origen
scopus(4)
Correctness, completeness and termination of pattern-based model-to-model transformation
Conference ObjectAbstract: Model-to-model (M2M) transformation consists in trans- forming models from a source to a target langPalabras claves:Autores:Ehrig H., Guerra E., Juan De Lara, Orejas F.Fuentes:scopusAttributed graph transformation with node type inheritance
ArticleAbstract: The aim of this paper is to integrate typed attributed graph transformation with node type inheritanPalabras claves:Double pushout approach, Graph transformation, Meta-Modelling, Visual languagesAutores:Bardohl R., Ehrig H., Ehrig K., Juan De Lara, Prange U., Taentzer G.Fuentes:scopusIntegrating meta-modelling aspects with graph transformation for efficient visual language definition and model manipulation
ArticleAbstract: Visual languages (VLs) play a central role in modelling various system aspects. Besides standard lanPalabras claves:Autores:Bardohl R., Ehrig H., Juan De Lara, Taentzer G.Fuentes:scopusTermination criteria for model transformation
Conference ObjectAbstract: Model Transformation has become central to most software engineering activities. It refers to the prPalabras claves:Autores:Ehrig H., Ehrig K., Juan De Lara, Taentzer G., Varró D., Varró-Gyapay S.Fuentes:scopus