Vor Ort
Merkzettel Warenkorb
  • Produktbild: Graph Transformations
  • Produktbild: Graph Transformations
Band 3256

Graph Transformations 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings

Aus der Reihe Theoretical Computer Science and General Issues

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2008

Herausgeber

Hartmut Ehrig + weitere

Verlag

Springer Berlin

Seitenzahl

523

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

819 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-87404-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

28.08.2008

Herausgeber

Verlag

Springer Berlin

Seitenzahl

523

Maße (L/B/H)

23,5/15,5/2,9 cm

Gewicht

819 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-87404-1

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 Transformations
  • Produktbild: Graph Transformations
  • Invited Papers.- Towards an Algebraic Theory of Bidirectional Transformations.- Discovery, Verification and Conformance of Workflows with Cancellation.- The AUTOSAR Way of Model-Based Engineering of Automotive Systems.- Hypergraphs and Termgraph Rewriting.- An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars.- Labelled (Hyper)Graphs, Negotiations and the Naming Problem.- Abstracting Complex Data Structures by Hyperedge Replacement.- Inductively Sequential Term-Graph Rewrite Systems.- Applications of Graph Transformation.- Mobile Agents Implementing Local Computations in Graphs.- A Decentralized Implementation of Mobile Ambients.- Network Applications of Graph Bisimulation.- Graph Transformation for Topology Modelling.- Execution of Graph Transformations.- Embedding and Confluence of Graph Transformations with Negative Application Conditions.- Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels.- Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation.- High-Level Programs and Program Conditions.- Compositional Systems.- Parallel and Sequential Independence for Borrowed Contexts.- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts.- Open Petri Nets: Non-deterministic Processes and Compositionality.- Validation and Verification.- Attributed Graph Constraints.- Resolution-Like Theorem Proving for High-Level Conditions.- Towards the Verification of Attributed Graph Transformation Systems.- A Modal-Logic Based Graph Abstraction.- Graph Languages and Special Transformation Concepts.- On the Recognizability of Arrow and Graph Languages.- Graph Multiset Transformation as a Framework for Massively Parallel Computation.- Pullback Grammars Are Context-Free.- On Switching to H-Free Graphs.- Patterns and Model Transformations.- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation.- 15 Years of Triple Graph Grammars.- Pattern-Based Model-to-Model Transformation.- Adaptive Star Grammars for Graph Models.- Tutorial and Workshops.- Tutorial Introduction to Graph Transformation.- Workshop on Graph Computation Models.- Graph-Based Tools: The Contest.- Workshop on Petri Nets and Graph Transformations.- Summary of the Workshop on Natural Computing and Graph Transformations.- Doctoral Symposium.- ICGT 2008 Doctoral Symposium.- Verification of Architectural Refactorings: Rule Extraction and Tool Support.- Abstract Semantics by Observable Contexts.- Triple Graph Grammars and OCL for Validating System Behavior.- From Separation Logic to Hyperedge Replacement and Back.- Security, Cryptography and Directed Bigraphs.- Modelling Clustering of Sensor Networks with Synchronised Hyperedge Replacement.- Grammar Morphisms and Weakly Adhesive Categories.- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions.- Towards a Two Layered Verification Approach for Compiled Graph Transformation.- Model-Based Analysis of Network Reconfigurations Using Graph Transformation Systems.- Service Extraction from Legacy Systems.- Development of Correct Graph Transformation Systems.- Graph Transformation for the Semantic Web: Queries and Inference Rules.- Using a Triple Graph Grammar for State Machine Implementations.- Model-Driven Development of Model Transformations.- Transformation-Based Operationalization of Graph Languages.