Avoiding Unnecessary Information Loss: Correct and Efficient Model Synchronization Based on Triple Graph Grammars
Model synchronization, i.e., the task of restoring consistency between t...
Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations
Where graphs are used for modelling and specifying systems, consistency ...
Jens Kosiolis this you? claim profile