Coverart for item
The Resource 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, (electronic resource)

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, (electronic resource)

Label
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
Title
Applications of Graph Transformations with Industrial Relevance
Title remainder
Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers
Statement of responsibility
edited by John L. Pfaltz, Manfred Nagl, Boris Böhlen
Creator
Contributor
Editor
Provider
Subject
Language
eng
Summary
This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Applications of Graph Transformations with Industrial Relevance, AGTIVE 2003, held in Charlotesville, Virginia, USA in September/October 2003. The 27 revised full papers and 11 revised demo papers presented together with 2 invited papers and 5 workshop reports were carefully selected during iterated rounds of reviewing and revision. The papers are organized in topical sections on Web applications; data structures and data bases; engineering applications; agent-oriented and functional programs and distribution; object- and aspect-oriented systems; natural languages: processing and structuring; reengineering; reuse and integration; modeling languages; bioinformatics; and multimedia, picture, and visual languages
Member of
http://library.link/vocab/creatorName
Pfaltz, John L
Image bit depth
0
LC call number
QA76.758
Literary form
non fiction
http://library.link/vocab/relatedWorkOrContributorName
  • Nagl, Manfred.
  • Böhlen, Boris.
  • SpringerLink
Series statement
Lecture Notes in Computer Science,
Series volume
3062
http://library.link/vocab/subjectName
  • Computer science
  • Software engineering
  • Data structures (Computer science)
  • Computer software
  • Logic design
  • Computational complexity
  • Computer Science
  • Software Engineering
  • Logics and Meanings of Programs
  • Mathematical Logic and Formal Languages
  • Data Structures
  • Algorithm Analysis and Problem Complexity
  • Discrete Mathematics in Computer Science
Label
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, (electronic resource)
Instantiates
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
unknown
Extent
XVI, 504 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540259596
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/b98116
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-25959-6
Label
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, (electronic resource)
Publication
Antecedent source
mixed
Carrier category
online resource
Carrier category code
cr
Carrier MARC source
rdacarrier
Color
not applicable
Content category
text
Content type code
txt
Content type MARC source
rdacontent
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
Dimensions
unknown
Extent
XVI, 504 p.
File format
multiple file formats
Form of item
electronic
Isbn
9783540259596
Level of compression
uncompressed
Media category
computer
Media MARC source
rdamedia
Media type code
c
Other control number
10.1007/b98116
Other physical details
online resource.
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(DE-He213)978-3-540-25959-6

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...