Mostrando 3 resultados de: 3
Filtros aplicados
Publisher
Electronic Notes in Theoretical Computer Science(1)
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Ciencias de la computación(3)
Programación informática, programas, datos, seguridad(2)
Funcionamiento de bibliotecas y archivos(1)
Métodos informáticos especiales(1)
Principios generales de matemáticas(1)
Área de conocimiento
Ingeniería de software(2)
Ciencias de la computación(1)
Simulación por computadora(1)
Software(1)
Origen
scopus(3)
Automated model transformation and its validation using AToM<sup>3</sup> and AGG
Conference ObjectAbstract: Complex systems are characterized by components that may have to be described using different notatiPalabras claves:Graph transformation, Meta-Modelling, modelling, Multi-FormalismAutores:Juan De Lara, 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: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:scopus