Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (original) (raw)
Related papers
Time and space issues in the generation of graph transition systems
Electronic notes in theoretical computer science, 2005
Tutorial introduction to graph transformation: a software engineering perspective
2004
Towards Translating Graph Transformation Approaches by Model Transformations
2006
Proc. of 2nd International Workshop on Graph and Model Transformation 2006
From graph transformation to software engineering and back
2005
Advances in model transformations by graph transformation: specification, execution and analysis
Rigorous software engineering for service-oriented systems, 2011
Graph Transformations and Model-Driven Engineering
Lecture Notes in Computer Science, 2010
Model checking graph transformations: A comparison of two approaches
Graph Transformations, 2004
Benchmarking for Graph Transformation
2005
2012
Improving the Usability of a Graph Transformation Language
Electronic Notes in Theoretical Computer Science, 2006
Graph transformation based simulation model generation
Journal of Simulation, 2016
Heuristic Search for the Analysis of Graph Transition Systems
2006
A heuristic solution for model checking graph transformation systems
Applied Soft Computing, 2014
Graph Transformations on Domain-Specific Models
Software and System Modeling, 2003
Automatic Graph Transformation In System Verification
2000
How to Specify a Graph Transformation Approach
Electronic Notes in Theoretical Computer Science, 2001
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science, 2004
On the use of Alloy to analyze graph transformation systems
2006
Graph transformation for specification and programming
Science of Computer …, 1999
A logic for analyzing abstractions of graph transformation systems
2003
THE ROLE OF GRAPH TRANSFORMATIONS IN VALIDATING DOMAIN-SPECIFIC PROPERTIES
iaeme
A UML/OCL framework for the analysis of graph transformation rules
Software & Systems Modeling, 2010
Using graph transformation for practical model driven software engineering
Model-driven Software …, 2005
Applying a Model Transformation Taxonomy to Graph Transformation Technology
Electronic Notes in Theoretical Computer Science, 2006