Get Free Shipping on orders over $79
Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings - Hartmut Ehrig

Graph Transformations

Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings

By: Hartmut Ehrig (Editor), Gregor Engels (Editor), Francesco Parisi-Presicce (Editor)

Paperback | 12 March 2014

At a Glance

Paperback


$131.75

or 4 interest-free payments of $32.94 with

 or 

Ships in 10 to 15 business days

Invited Papers.- Improving Flow in Software Development Through Graphical Representations.- A Perspective on Graphs and Access Control Models.- Transformation Language Design: A Metamodelling Foundation.- Integration Technology.- Rule Execution in Graph-Based Incremental Interactive Integration Tools.- Composition of Relations in Enterprise Architecture Models.- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation.- Chemistry and Biology.- Analysis of Metabolic Pathways by Graph Transformation.- The Potential of a Chemical Graph Transformation System.- Graph Transformation Concepts.- Concepts for Specifying Complex Graph Transformation Systems.- Typing of Graph Transformation Units.- Towards Graph Programs for Graph Algorithms.- DPO Theory for High-Level Structures.- Adhesive High-Level Replacement Categories and Systems.- Fundamental Theory for Typed Attributed Graph Transformation.- Parallel Independence in Hierarchical Graph Transformation.- Analysis and Testing.- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.- Stochastic Graph Transformation Systems.- Model Checking Graph Transformations: A Comparison of Two Approaches.- Graph Theory and Algorithms.- Election, Naming and Cellular Edge Local Computations.- Embedding in Switching Classes with Skew Gains.- Synchronizers for Local Computations.- Application Conditions and Logic.- Constraints and Application Conditions: From Graphs to High-Level Structures.- Specification Matching of Web Services Using Conditional Graph Transformation Rules.- Representing First-Order Logic Using Graphs.- Transformation of Special Structures.- Coproduct Transformations on Lattices of Closed Partial Orders.- Parsing String Generating Hypergraph Grammars.- Composition of Path Transductions.- Object-Orientation.- Translating Java Code to Graph Transformation Systems.- Extending Graph Rewriting for Refactoring.- Derivations in Object-Oriented Graph Grammars.- Tutorials and Workshops.- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.- Tutorial on DNA Computing and Graph Transformation.- Workshop TERMGRAPH 2004.- Workshop on Graph-Based Tools.- Workshop on Petri Nets and Graph Transformations.- Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions.- Workshop on Logic, Graph Transformations, Finite and Infinite Structures.

More in Mathematics

Microsoft Power BI For Dummies : For Dummies (Computer/Tech) - Jack A. Hyman
Nelson VicMaths 12 Foundation Maths : 1st Edition - Sue Thomson

RRP $98.95

$89.75

The Infinite Game : From the bestselling author of Start With Why - Simon Sinek
Nelson WAmaths Mathematics Applications : 11th Edition - Amanda Pettitt
Nelson WAmaths Mathematics Applications 12 : 1st Edition - Dion Alfonsi
Primary Mathematics : 4th Edition - Integrating Theory with Practice - Penelope Baker
The Art of Gathering : How We Meet and Why It Matters - Priya Parker
Nelson WAmaths Mathematics Methods : 11th Edition - Judith Cumpsty
Mathematics for Technicians : 7th Edition - Blair Alldis

RRP $94.95

$92.75

Grade 4 Word Problems : Kumon Math Workbooks - KUMON PUBLISHING

RRP $16.99

$13.75

19%
OFF
Kakuro Book 2 : 200 mathematical logic puzzles - The Times Mind Games
New Century Maths 7 Student Book : 3rd Edition - Judy Binns

RRP $76.95

$70.75