Graph transformations : 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016 /: 9th International Conference, ICGT 2016 in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5-6, 2016. (2016)

• Record Type: Book
• Other Titles: ICGT 2016
• Further Information: Note: Rachid Echahed, Mark Minas (eds.).
• Editors: Echahed, Rachid; Minas, Mark
• Other Names: Ehrig, Hartmut honouree.; ICGT (Conference), 9th; STAF (Federation of conferences)
• Contents: 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 of Amalgamated Graph Transformations.-Queries -- Rete Network Slicing for Model Queries -- An SQL-Based Query Language and Engine for Graph Pattern Matching -- On the Operationalization of Graph Queries with Generalized Discrimination Networks -- Applications -- The Incremental Advantage: Evaluating the Performance of a TGG-based Visualisation Framework -- Automatic Inference of Graph Transformation Rules Using the Cyclic Nature of Chemical Reactions -- Using Graph Transformation for Puzzle Game Level Generation and Validation -- Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization. .
• Publisher Details: Switzerland : Springer
• Publication Date: 2016
• Extent: 1 online resource
• Subjects: 511/.5; Computer science; Graph theory -- Data processing -- Congresses; Computer science -- Congresses; Graph theory -- Data processing; Computer science; Computers -- Software Development & Engineering -- General; Computers -- Data Modeling & Design; Computers -- Programming -- General; Computers -- Programming -- Algorithms; Mathematics -- Logic; Software Engineering; Algorithms & data structures; Computer programming / software development; Mathematical theory of computation; Computational complexity; Software engineering; Data structures (Computer science); Logic design; Computer software; Computers -- Data Processing; Discrete mathematics; Electronic books; Conference papers and proceedings; Conference papers and proceedings
• Languages: English
• ISBNs: 9783319405308; 3319405306
• Related ISBNs: 9783319405292
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed June 30, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.