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
Shranjeno v:
| Korporativna značnica: | |
|---|---|
| Drugi avtorji: | , , |
| Format: | Livre numérique |
| Jezik: | Anglais |
| Izdano: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serija: | Lecture notes in computer science
3062 |
| Teme: | |
| Online dostop: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Sporočilo: |
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 |
| LEADER | 06196nam a22004577a 4500 | ||
|---|---|---|---|
| 001 | 943774 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155164031 | ||
| 020 | |a 9783540259596 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a AGTIVE 2003 |n (2 |d :2003 |c :Charlottesville, Va). | |
| 245 | 1 | 0 | |a Applications of graph transformations with industrial relevance : |b Second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 : revised selected and invited papers |c [edited by] John L. Pfaltz, Manfred Nagl, Boris Böhlen. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3062 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 650 | |a Génie logiciel | ||
| 650 | |a Informatique | ||
| 650 | |a Théorie des graphes | ||
| 650 | |a Algorithmes | ||
| 650 | |a Systèmes de réécriture (informatique) | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Grammaires de graphes | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Pfaltz, John L. |4 pbd | |
| 700 | 1 | |a Nagl, Manfred, |d 1944- |4 pbd | |
| 700 | 1 | |a Böhlen, Boris. |4 pbd | |
| 776 | 0 | |0 07958702X |t Applications of graph transformations with industrial relevance |o Second international workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27-October 1, 2003 |o revised selected and invited papers |f John L. Pfaltz, Manfred Nagl, Boris Böhlen (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (XV-500 p.) |s Lecture notes in computer science |z 3-540-22120-4 | |
| 776 | 0 | |t Applications of Graph Transformations with Industrial Relevance |b Texte imprimé |z 9783662174869 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b98116 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-0VDJCTW9-X |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747822328 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b98116 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750839147 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b98116 |z Accès INSA CVL | |
| 997 | |0 943774 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||