Graph Transformation
Editat de Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenbergen Limba Engleză Paperback – 27 sep 2002
Preț: 330.15 lei
Preț vechi: 412.69 lei
-20% Nou
Puncte Express: 495
Preț estimativ în valută:
58.42€ • 68.51$ • 51.31£
58.42€ • 68.51$ • 51.31£
Carte tipărită la comandă
Livrare economică 06-20 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540443100
ISBN-10: 354044310X
Pagini: 476
Ilustrații: X, 466 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.72 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 354044310X
Pagini: 476
Ilustrații: X, 466 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.72 kg
Ediția:2002
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering.- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?).- Bigraphs as a Model for Mobile Interaction.- Contributed Papers.- Approximating the Behaviour of Graph Transformation Systems.- Transforming Specification Architectures by GenGED.- Decomposing Graphs with Symmetries.- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems.- Call-by-Value ?-Graph Rewriting Without Rewriting.- Transformation: The Missing Link of MDA.- Termination Detection of Distributed Algorithms by Graph Relabelling Systems.- Graph Transformation with Time: Causality and Logical Clocks.- Relabelling in Graph Transformation.- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes.- Confluence of Typed Attributed Graph Transformation Systems.- Abstraction and Control for Shapely Nested Graph Transformation.- Hyperedge Substitution in Basic Atom-Replacement Languages.- Distributed Graph Transformation Units.- Describing Policies with Graph Constraints and Rules.- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts.- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment.- Graph-Based Reengineering of Telecommunication Systems.- Formalising Behaviour Preserving Program Transformations.- Unparsing of Diagrams with DiaGen.- Linear Ordered Graph Grammars and Their Algebraic Foundations.- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems.- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery.- GraCAD – Graph-Based Tool for Conceptual Design.- A Formal Semantics of UML Statecharts by ModelTransition Systems.- Hierarchical Vertex Ordering.- Tutorials and Workshops.- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.- Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates.- TERMGRAPH 2002 Workshop Survey.- Workshop on Graph-Based Tools.- Workshop on Graph Transformation and Visual Modeling Techniques.- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle.- Workshop on Logic, Graph Transformations and Discrete Structures.
Caracteristici
Includes supplementary material: sn.pub/extras