Vor Ort
Merkzettel Warenkorb
Produktbild: Graph Transformations
Band 3256

Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2010

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

419

Maße (L/B/H)

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

Gewicht

651 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-15927-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2010

Herausgeber

Verlag

Springer Berlin

Seitenzahl

419

Maße (L/B/H)

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

Gewicht

651 g

Auflage

2010

Sprache

Englisch

ISBN

978-3-642-15927-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • Produktbild: Graph Transformations
  • Invited Speakers.- A False History of True Concurrency: From Petri to Tools.- How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation?.- Session 1. Graphs and Logic.- Graph Transformation Units Guided by a SAT Solver.- Delaying Constraint Solving in Symbolic Graph Transformation.- A Dynamic Logic for Termgraph Rewriting.- Session 2. Behavioural Analysis.- A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes.- On the Computation of McMillan’s Prefix for Contextual Nets and Graph Grammars.- Verification of Graph Transformation Systems with Context-Free Specifications.- Saturated LTSs for Adhesive Rewriting Systems.- A Hoare Calculus for Graph Programs.- Session 3. Models and Model Transformation.- Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars.- Conflict Detection for Model Versioning Based on Graph Modifications.- A Component Concept for Typed Graphs with Inheritance and Containment Structures.- Combining Termination Criteria by Isolating Deletion.- Session 4. Algebraic Foundations.- Graph Rewriting in Span-Categories.- Finitary -Adhesive Categories.- Hereditary Pushouts Reconsidered.- Session 5. Applications.- Graph Transformation for Domain-Specific Discrete Event Time Simulation.- Counterpart Semantics for a Second-Order ?-Calculus.- Declarative Mesh Subdivision Using Topological Rewriting in MGS.- A Model for Distribution and Revocation of Certificates.- Session 6. Rule Composition.- Local Confluence for Rules with Nested Application Conditions.- Multi-Amalgamation in Adhesive Categories.- Amalgamating Pushout and Pullback Graph Transformation in Collagories.- Doctoral Symposium.- ICGT 2010 Doctoral Symposium.- EMF Model Transformation Based on Graph Transformation: Formal Foundation and Tool Environment.- Recognizable Graph Languages for the Verification of Dynamic Systems.- Stochastic Modelling and Simulation of Dynamic Resource Allocation.- Bisimulation Theory for Graph Transformation Systems.- Realizing Impure Functions in Interaction Nets.- Composite EMF Modeling Based on Typed Graphs with Inheritance and Containment Structures.- Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems.- LTS Semantics for Process Calculi from Their Graphical Encodings.- Automated Assistance for Search-Based Refactoring Using Unfolding of Graph Transformation Systems.- Correctness of Graph Programs Relative to HR?+? Conditions.- Static Type Checking of Model Transformation Programs.- Using Graph Transformations and Graph Abstractions for Software Verification.