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

Graph Transformation 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings

52,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.2012

Abbildungen

XII, 166 illus., schwarz-weiss Illustrationen

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

427

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

670 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33653-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.08.2012

Abbildungen

XII, 166 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

427

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

670 g

Auflage

2012

Sprache

Englisch

ISBN

978-3-642-33653-9

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.-A Graph-Based Design Framework for Services .-Evolutionary Togetherness: How to Manage Coupled Evolution in Metamodeling Ecosystems.-Completeness-Driven Development.-Foundations 1: Behavioral Analysis Exploiting Over- and Under-Approximations for Infinite-State Counterpart Models.-Pattern-Based Graph Abstraction.-Well-Structured Graph Transformation Systems with Negative Application Conditions .-Foundations 2: High-Level Graph Transformation Parallelism and Concurrency of Stochastic Graph Transformations.-Refined Graph Rewriting in Span-Categories: A Framework for Algebraic Graph Transformation.-Borrowed Contexts for Attributed Graphs.-Foundations 3: Revisited Approaches.-Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars: Flexible Relations between Source and Target Elements.-Graph Transformation with Focus on Incident Edges.-Rational Term Rewriting Revisited: Decidability and Confluence .-Foundations 4: General Transformation Models A General Attribution Concept for Models in M-Adhesive Transformation Systems .-DPO Transformation with Open Maps.-M,N-Adhesive Transformation Systems .-Foundations 5: Structuring and Verification Generalised Compositionality in Graph Transformation .-Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking.-Efficient Symbolic Implementation of Graph Automata with Applications to Invariant Checking .-Applications 1: Graph Transformations in Use Testing against Visual Contracts: Model-Based Coverage .-A Truly Concurrent Semantics for the K Framework Based on Graph Transformations.-Probabilistic Graph Transformation Systems.-Applications 2: (Meta-)Model Evolution Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution.-Graph Transformations for Evolving Domain Knowledge.-Construction of Integrity Preserving Triple Graph Grammars.-Applications 3: Incremental Approaches Applying Incremental Graph Transformation to Existing Models in Relational Databases.-Incremental Pattern Matching for the Efficient Computation of Transitive Closure.-Efficient Model Synchronization with Precedence Triple Graph Grammars.-Doctoral Symposium ICGT 2012 Doctoral Symposium.-Multi-scale Rule-Based Graph Transformation Using the Programming Language XL.-Verification of Graph Programs.-Specification and Verification of Modal Properties for Structured Systems.