KI-Beratung Beta

  • Produktbild: Graph Transformation
  • Produktbild: Graph Transformation
Band 2505

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

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2002

Abbildungen

X, 466 p.

Herausgeber

Andrea Corradini + weitere

Verlag

Springer Berlin

Seitenzahl

466

Maße (L/B/H)

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

Gewicht

715 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-44310-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2002

Abbildungen

X, 466 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

466

Maße (L/B/H)

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

Gewicht

715 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-44310-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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 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.