Graph Transformations
Editat de Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenbergen Limba Engleză Paperback – 17 sep 2004
Preț: 386.25 lei
Puncte Express: 579
Carte tipărită la comandă
Livrare economică 29 iulie-12 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.