Keynote.- Complexity Is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering.- Foundations.- Sesqui-Pushout Rewriting with Type Refinements.- Parallelism in AGREE Transformations.- Model Checking Reconfigurable Petri Nets with Maude.- Tools and Algorithms.- A Software Package for Chemically Inspired Graph Transformation.- A Tool Environment for Managing Families of Model Transformation Rules.- Compiling Graph Programs to C.- An Algorithm for the Critical Pair Analysis... Mehr
CHF 59.00