Graph transformations second international (8 Ergebnisse)

Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.…

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Zustand: New. In English.

Sprache: Englisch OriginalKarton. Noch eingeschweißtes Exemplar.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Invited Papers.- Improving Flow in Software Development Through Graphical Representations.- A Perspective on Graphs and Access Control Models.- Transformation Language Design: A Metamodelling Foundation.- Integration Technology.- Rule Execution in Graph-Based Incremental Interactive Integration Tools.- Composition of Relations in Enterprise Architecture Models.- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation.- Chemistry and Biology.- Analysis of Metabolic Pathways by Graph Transformation.- The Potential of a Chemical Graph Transformation System.- Graph Transformation Concepts.- Concepts for Specifying Complex Graph Transformation Systems.- Typing of Graph Transformation Units.- Towards Graph Programs for Graph Algorithms.- DPO Theory for High-Level Structures.- Adhesive High-Level Replacement Categories and Systems.- Fundamental Theory for Typed Attributed Graph Transformation.- Parallel Independence in Hierarchical Graph Transformation.- Analysis and Testing.- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.- Stochastic Graph Transformation Systems.- Model Checking Graph Transformations: A Comparison of Two Approaches.- Graph Theory and Algorithms.- Election, Naming and Cellular Edge Local Computations.- Embedding in Switching Classes with Skew Gains.- Synchronizers for Local Computations.- Application Conditions and Logic.- Constraints and Application Conditions: From Graphs to High-Level Structures.- Specification Matching of Web Services Using Conditional Graph Transformation Rules.- Representing First-Order Logic Using Graphs.- Transformation of Special Structures.- Coproduct Transformations on Lattices of Closed Partial Orders.- Parsing String Generating Hypergraph Grammars.- Composition of Path Transductions.- Object-Orientation.- Translating Java Code to Graph Transformation Systems.- Extending Graph Rewriting for Refactoring.- Derivations in Object-Oriented Graph Grammars.- Tutorials and Workshops.- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective.- Tutorial on DNA Computing and Graph Transformation.- Workshop TERMGRAPH 2004.- Workshop on Graph-Based Tools.- Workshop on Petri Nets and Graph Transformations.- Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions.- Workshop on Logic, Graph Transformations, Finite and Infinite Structures.…

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Web Applications.- Graph Transformation for Merging User Navigation Histories.- Towards Validation of Session Management in Web Applications based on Graph Transformation.- Data Structures and Data Bases.- Specifying Pointer Structures by Graph Reduction.- Specific Graph Models and Their Mappings to a Common Model.- Engineering Applications.- Transforming Graph Based Scenarios into Graph Transformation Based JUnit Tests.- On Graphs in Conceptual Engineering Design.- Parameterized Specification of Conceptual Design Tools in Civil Engineering.- Agent-Oriented and Functional Programs, Distribution.- Design of an Agent-Oriented Modeling Language Based on Graph Transformation.- Specification and Analysis of Fault Behaviours Using Graph Grammars.- Object and Aspect-Oriented Systems.- Integrating Graph Rewriting and Standard Software Tools.- Expressing Component-Relating Aspects with Graph Transformations.- Natural Languages: Processing and Structuring.- Modeling Discontinuous Constituents with Hypergraph Grammars.- Authoring Support Based on User-Serviceable Graph Transformation.- Re-engineering.- Re-engineering a Medical Imaging System Using Graph Transformations.- Behavioral Analysis of Telecommunication Systems by Graph Transformations.- Reuse and Integration.- Specifying Integrated Refactoring with Distributed Graph Transformations.- A Domain Specific Architecture Tool: Rapid Prototyping with Graph Grammars.- Modelling Languages.- Graph Transformations in OMG's Model-Driven Architecture.- Computing Reading Trees for Constraint Diagrams.- UML Interaction Diagrams: Correct Translation of Sequence Diagrams into Collaboration Diagrams.- Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems.- Bioinformatics.- Proper Down-Coloring SimpleAcyclic Digraphs.- Local Specification of Surface Subdivision Algorithms.- Transforming Toric Digraphs.- Management of Development and Processes.- Graph-Based Specification of a Management System for Evolving Development Processes.- Graph-Based Tools for Distributed Cooperation in Dynamic Development Processes.- Multimedia, Picture, and Visual Languages.- MPEG-7 Semantic Descriptions: Graph Transformations, Graph Grammars, and the Description of Multimedia.- Collage Grammars for Collision-Free Growing of Objects in 3D Scenes.- VisualDiaGen - A Tool for Visually Specifying and Generating Visual Editors.- Demos.- GenGED - A Visual Definition Tool for Visual Modeling Environments.- CHASID - A Graph-Based Authoring Support System.- Interorganizational Management of Development Processes.- Conceptual Design Tools for Civil Engineering.- E-CARES - Telecommunication Re- and Reverse Engineering Tools.- AGG: A Graph Transformation Environment for Modeling and Validation of Software.- Process Evolution Support in the AHEAD System.- Fire3: Architecture Refinement for A-posteriori Integration.- A Demo of OptimixJ.- Visual Specification of Visual Editors with VisualDiaGen.- The GROOVE Simulator: A Tool for State Space Generation.- Summaries of the Workshop.- AGTIVE'03: Summary from the Outside In.- AGTIVE'03: Summary from the Theoretical Point of View.- AGTIVE'03: Summary from the Viewpoint of Graph Transformation Specifications.- AGTIVE'03: Summary from a Tool Builder's Viewpoint.- Best Presentation and Demonstration Awards.…