Graph Transformation – Hartmut Ehrig, Gregor Engels, Hans-Jö... | buch7 – Der soziale Buchhandel
Bitte warten ...
icon suche icon merkliste icon warenkorb
72677
Blick ins Buch

Graph Transformation

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

This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation models, structuring and verification, graph transformations in use, (meta-)model evolution and incremental approaches.

Taschenbuch 08/2012
kostenloser Standardversand in DE gewöhnlich ca. 4-5 Werktage (Print on Demand)

Die angegebenen Lieferzeiten beziehen sich auf den Paketversand und sofortige Zahlung (z.B. Zahlung per Lastschrift, PayPal oder Sofortüberweisung).
Der kostenlose Standardversand (2-5 Werktage) benötigt in der Regel länger als der kostenpflichtige Paketversand (1-2 Werktage). Sonderfälle, die zu längeren Lieferzeiten führen können (Bsp: Bemerkung für Kundenservice, Zahlung per Vorkasse oder Sendung ins Ausland) haben wir hier für Sie detailliert beschrieben.

Spenden icon Dank Ihres Kaufes spendet buch7 ca. 2,32 € bis 4,31 €.

Die hier angegebene Schätzung beruht auf dem durchschnittlichen Fördervolumen der letzten Monate und Jahre. Über die Vergabe und den Umfang der finanziellen Unterstützung entscheidet das Gremium von buch7.de.

Die genaue Höhe hängt von der aktuellen Geschäftsentwicklung ab. Natürlich wollen wir so viele Projekte wie möglich unterstützen.

Den tatsächlichen Umfang der Förderungen sowie die Empfänger sehen Sie auf unserer Startseite rechts oben, mehr Details finden Sie hier.

Weitere Informationen zu unserer Kostenstruktur finden Sie hier.

Benachrichtigung

Inhaltsverzeichnis

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.

Produktdetails

EAN / 13-stellige ISBN 978-3642336539
10-stellige ISBN 3642336531
Verlag Springer Berlin Heidelberg
Sprache Englisch
Anmerkungen zur Auflage 2012
Editionsform Hardcover / Softcover / Karten
Einbandart Taschenbuch
Erscheinungsdatum 23. August 2012
Seitenzahl 440
Beilage Paperback
Format (L×B×H) 23,5cm × 15,5cm × 2,3cm
Gewicht 663g
Warengruppe des Lieferanten Naturwissenschaften - Informatik, EDV
Mehrwertsteuer 7% (im angegebenen Preis enthalten)
Bestseller aus dieser Kategorie

Naturwissenschaften - Informatik, EDV

Noch nicht das passende gefunden?
Verschenken Sie einfach einen Gutschein.

Auch hier werden natürlich 75% des Gewinns gespendet.

Gutschein kaufen

Was unsere Kunden sagen:

Impressum Datenschutz Hilfe / FAQ