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
Gardado en:
| Autor Corporativo: | |
|---|---|
| Outros autores: | , , |
| Formato: | Livre numérique |
| Idioma: | Anglais |
| Publicado: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Series: | Lecture notes in computer science
3062 |
| Sujets: | |
| Acceso en liña: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Nota: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.), Berlin, Springer, 2004, 1 vol. (XV-500 p.), Lecture notes in computer science, 3-540-22120-4 • Applications of Graph Transformations with Industrial Relevance, Texte imprimé, 9783662174869 |
Table des matières:
- 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.