Mostrando 5 resultados de: 5
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(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Proceedings - International Conference on Application of Concurrency to System Design, ACSD(1)
Área temáticas
Programación informática, programas, datos, seguridad(2)
Filosofía y teoría(1)
Funcionamiento de bibliotecas y archivos(1)
Ingeniería y operaciones afines(1)
Métodos informáticos especiales(1)
Área de conocimiento
Ciencias de la computación(2)
Ingeniería de software(2)
Simulación por computadora(2)
Software(1)
Origen
scopus(5)
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:scopusModelling and analysis of distributed simulation protocols with distributed graph transformation
Conference ObjectAbstract: This paper presents our approach to model distributed discrete event simulation systems in the framePalabras claves:Discrete event simulation, Distributed Graph Transformation, Distributed simulation, ProtocolsAutores: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