Skip to content
Library Home
Start Over
Research Databases
E-Journals
Course Reserves
Library Home
Login to library account
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文(繁體)
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Language
Library Catalog
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Find
Advanced Search
|
Browse
|
Search Tips
Applications of Graph Transfor...
Cite this
Text this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Save to List
Permanent link
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.
Saved in:
Bibliographic Details
Corporate Author:
SpringerLink (Online service)
Other Authors:
Pfaltz, John L.
(Editor)
,
Nagl, Manfred
(Editor)
,
Böhlen, Boris
(Editor)
Format:
eBook
Language:
English
Published:
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2004.
Edition:
1st ed. 2004.
Series:
Lecture Notes in Computer Science,
3062
Springer eBook Collection.
Subjects:
Discrete mathematics.
Software engineering.
Computer logic.
Mathematical logic.
Data structures (Computer science).
Algorithms.
Electronic resources (E-books)
Online Access:
Click to view e-book
Holy Cross Note:
Loaded electronically.
Electronic access restricted to members of the Holy Cross Community.
Holdings
Description
Table of Contents
Similar Items
Staff View
Table of 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.
Similar Items
Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers
Published: (2008)
Applications of Graph Transformations with Industrial Relevance 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected Papers
Published: (2012)
Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers
Published: (2015)
Graph Transformations 5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings
Published: (2010)
Graph-Theoretic Concepts in Computer Science 20th International Workshop. WG '94, Herrsching, Germany, June 16 - 18, 1994. Proceedings
Published: (1995)