Vor Ort
Merkzettel Warenkorb
  • Produktbild: Graph Transformation
  • Produktbild: Graph Transformation
Band 2505

Graph Transformation First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2002

Herausgeber

Andrea Corradini + weitere

Verlag

Springer Berlin

Seitenzahl

466

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

1460 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-44310-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2002

Herausgeber

Verlag

Springer Berlin

Seitenzahl

466

Maße (L/B/H)

23,5/15,5/2,6 cm

Gewicht

1460 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-44310-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Graph Transformation
  • Produktbild: Graph Transformation
  • 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 Model Transition 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.