1 option
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 / edited by John L. Pfaltz, Manfred Nagl, Boris Böhlen.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 3062.
- Lecture Notes in Computer Science, 0302-9743 ; 3062
- Language:
- English
- Subjects (All):
- Discrete mathematics.
- Software engineering.
- Computer logic.
- Logic, Symbolic and mathematical.
- Data structures (Computer science).
- Algorithms.
- Discrete Mathematics.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Data Structures.
- Algorithm Analysis and Problem Complexity.
- Local Subjects:
- Discrete Mathematics.
- Software Engineering.
- Logics and Meanings of Programs.
- Mathematical Logic and Formal Languages.
- Data Structures.
- Algorithm Analysis and Problem Complexity.
- Physical Description:
- 1 online resource (XVI, 504 pages).
- Edition:
- First edition 2004.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004.
- System Details:
- text file PDF
- Contents:
- 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 Simple Acyclic 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-25959-6
- 9783540259596
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.