Graph Transformations
Editat de Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenbergen Limba Engleză Paperback – 11 sep 2006
Preț: 332.01 lei
Preț vechi: 415.02 lei
-20%
Puncte Express: 498
Carte tipărită la comandă
Livrare economică 25 iulie-08 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: 9783540388708
ISBN-10: 3540388702
Pagini: 492
Ilustrații: XII, 473 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.74 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540388702
Pagini: 492
Ilustrații: XII, 473 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.74 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Nested Quantification in Graph Transformation Rules.- Idioms of Logical Modelling.- New Algorithms and Applications of Cyclic Reference Counting.- New Graph Transformation Models.- Sesqui-Pushout Rewriting.- Automata on Directed Graphs: Edge Versus Vertex Marking.- Conflict Detection for Graph Transformation with Negative Application Conditions.- Adaptive Star Grammars.- Structure Manipulation.- Narrowing Data-Structures with Pointers.- Molecular Analysis of Metabolic Pathway with Graph Transformation.- Matrix Approach to Graph Transformation: Matching and Sequences.- String Generating Hypergraph Grammars with Word Order Restrictions.- Borrowed Contexts and Adhesive Categories.- Composition and Decomposition of DPO Transformations with Borrowed Context.- Process Bisimulation Via a Graphical Encoding.- Toposes Are Adhesive.- Extensions for Distributed and Global Computing.- Graph Transactions as Processes.- Categorical Foundations of Distributed Graph Transformation.- Dynamic Graph Transformation Systems.- Autonomous Units and Their Semantics — The Sequential Case.- Software Engineering Methods and Tools.- Termination Analysis of Model Transformations by Petri Nets.- Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars.- Temporal Graph Queries to Support Software Evolution.- On the Use of Alloy to Analyze Graph Transformation Systems.- Model-Driven Development.- Non-materialized Model View Specification with Triple Graph Grammars.- Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract.- Model View Management with Triple Graph Transformation Systems.- Efficient Implementation.- Graph Transformation in Constant Time.- GrGen: A Fast SPO-Based Graph RewritingTool.- Realizing Graph Transformations by Pre- and Postconditions and Command Sequences.- Heuristic Search for the Analysis of Graph Transition Systems.- Logics.- Satisfiability of High-Level Conditions.- Weakest Preconditions for High-Level Programs.- Tutorial and Workshops.- Introductory Tutorial on Foundations and Applications of Graph Transformation.- Workshop on Graph Computation Models.- Workshop on Graph-Based Tools.- Workshop on Petri Nets and Graph Transformations.- 3rd International Workshop on Software Evolution Through Transformations: Embracing Change.