Graph Transformation – Hartmut Ehrig, Gregor Engels, Hans-Jö... | buch7 – Der soziale Buchhandel
Bitte warten ...
icon suche icon merkliste icon warenkorb
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.

E-Book 09/2012
Ebook-pdfPDF Ebook-openkein Kopierschutz
  • Ebook-funktion-ereadereReader
  • Ebook-funktion-kindlekindle
  • Ebook-funktion-computerComputer
  • Ebook-funktion-smartphoneSmartphone

Ebook-funktion-keinaccountkein Adobe Account notwendig | Ebook-funktion-schrift-fest Schriftgröße ist nicht veränderbar/einstellbar


Sie erhalten nach dem Kauf das Buch als ganz normale PDF-Datei, die Sie an jedem Gerät lesen können, das PDFs anzeigen kann. PDFs werden überall gleich angezeigt. Wir empfehlen dieses Format, da es ohne DRM (digitales Rechte-Management) auskommt.


Sofort lieferbar (Download)

Die angegebene Lieferzeit bezieht sich auf sofortige Zahlung (z.B. Zahlung per Lastschrift, PayPal oder Sofortüberweisung).
Sonderfälle, die zu längeren Lieferzeiten führen können (Bsp: Bemerkung für Kundenservice oder Zahlung per Vorkasse) haben wir hier für Sie detailliert beschrieben.

Spenden icon Dank Ihres Kaufes spendet buch7 ca. 2,25 € bis 4,17 €.

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-3642336546
10-stellige ISBN 364233654X
Verlag Springer-Verlag GmbH
Sprache Englisch
Anmerkungen zur Auflage 2012
Editionsform Non Books / PBS
Einbandart E-Book
Typ des digitalen Artikels PDF
Copyright PDF Watermark
Erscheinungsdatum 18. September 2012
Seitenzahl 427
Illustrationsbemerkung 166 schwarz-weiße Abbildungen, Bibliographie
Beilage eBook
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