Graph Transformations
Editat de Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenbergen Limba Engleză Paperback – 17 sep 2004
Preț: 385.06 lei
Nou
Puncte Express: 578
Preț estimativ în valută:
68.13€ • 79.49$ • 59.56£
68.13€ • 79.49$ • 59.56£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540232070
ISBN-10: 3540232079
Pagini: 468
Ilustrații: XII, 456 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540232079
Pagini: 468
Ilustrații: XII, 456 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:2004
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.
Caracteristici
Includes supplementary material: sn.pub/extras