Applications of Graph Transformations with Industrial Relevance Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers - neues Buch

EAN (ISBN-13): 9783540221203
ISBN (ISBN-10): 3540221204
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2004
Herausgeber: Springer
520 Seiten
Gewicht: 0,777 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2007-05-28T14:08:50+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-06-05T12:11:35+02:00 (Vienna)
ISBN/EAN: 9783540221203

ISBN - alternative Schreibweisen:
3-540-22120-4, 978-3-540-22120-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: manfred nagl, manfred john, bohlen, john pfaltz
Titel des Buches: relevance, selected papers, graph transformations, september, usa, lecture notes computer science

---

Daten vom Verlag:

Autor/in: John L. Pfaltz; Manfred Nagl; Boris Böhlen
Titel: Lecture Notes in Computer Science; Applications of Graph Transformations with Industrial Relevance - Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers
Verlag: Springer; Springer Berlin
504 Seiten
Erscheinungsjahr: 2004-06-01
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
XVI, 504 p.

BC; Hardcover, Softcover / Mathematik/Sonstiges; Diskrete Mathematik; Verstehen; Informatik; Ingenieurwissenschaften; Hypergraph; JUnit; Processing; Unified Modeling Language (UML); algorithms; aspect-oriented systems; calculus; data structures; graph grammars; graph rewriting systems; graph transformations; graph-based scenarios; model checking; modeling; object technology; algorithm analysis and problem complexity; Discrete Mathematics; Software Engineering; Computer Science Logic and Foundations of Programming; Formal Languages and Automata Theory; Data Science; Algorithms; Software Engineering; Theoretische Informatik; Datenbanken; Algorithmen und Datenstrukturen; EA

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.