Mostrando 3 resultados de: 3
Publisher
Electronic Notes in Theoretical Computer Science(1)
Lecture Notes in Computer Science(1)
Theoretical Computer Science(1)
Área temáticas
Ciencias de la computación(2)
Métodos informáticos especiales(1)
Principios generales de matemáticas(1)
Relaciones internacionales(1)
Origen
scopus(3)
Attributed 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:scopusParallel graph transformation for model simulation applied to timed transition petri nets
Conference ObjectAbstract: This work discusses the use of parallel graph transformation systems for (multi-formalism) modelingPalabras claves:Model simulation, Parallel graph transformation, Timed transition Petri netsAutores:Ehrig K., Ermel C., 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