Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings
Salvato in:
| Autore principale: | |
|---|---|
| Ente Autore: | |
| Altri autori: | , |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
3256 |
| Soggetti: | |
| Accesso online: | 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: | • Graph transformations, second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004, proceedings, Hartmut Ehrig ... [et al.] (eds.), Berlin, Springer, 2004, 1 vol. (XII-450 p.), Lecture notes in computer science, 3-540-23207-9 • Graph Transformations, Texte imprimé, 9783662181645 |
| LEADER | 04985nam a22004337a 4500 | ||
|---|---|---|---|
| 001 | 972768 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155229664 | ||
| 020 | |a 9783540302032 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.5 | ||
| 082 | |a 004 | ||
| 100 | 1 | |a Ehrig, Hartmut, |d 1944- | |
| 245 | 1 | 0 | |a Graph transformations : |b second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : proceedings |c [edited by] Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce... [et al.]. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 3256 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Papers -- Improving Flow in Software Development Through Graphical Representations -- A Perspective on Graphs and Access Control Models -- Transformation Language Design: A Metamodelling Foundation -- Integration Technology -- Rule Execution in Graph-Based Incremental Interactive Integration Tools -- Composition of Relations in Enterprise Architecture Models -- Event-Driven Grammars: Towards the Integration of Meta-modelling and Graph Transformation -- Chemistry and Biology -- Analysis of Metabolic Pathways by Graph Transformation -- The Potential of a Chemical Graph Transformation System -- Graph Transformation Concepts -- Concepts for Specifying Complex Graph Transformation Systems -- Typing of Graph Transformation Units -- Towards Graph Programs for Graph Algorithms -- DPO Theory for High-Level Structures -- Adhesive High-Level Replacement Categories and Systems -- Fundamental Theory for Typed Attributed Graph Transformation -- Parallel Independence in Hierarchical Graph Transformation -- Analysis and Testing -- Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems -- Stochastic Graph Transformation Systems -- Model Checking Graph Transformations: A Comparison of Two Approaches -- Graph Theory and Algorithms -- Election, Naming and Cellular Edge Local Computations -- Embedding in Switching Classes with Skew Gains -- Synchronizers for Local Computations -- Application Conditions and Logic -- Constraints and Application Conditions: From Graphs to High-Level Structures -- Specification Matching of Web Services Using Conditional Graph Transformation Rules -- Representing First-Order Logic Using Graphs -- Transformation of Special Structures -- Coproduct Transformations on Lattices of Closed Partial Orders -- Parsing String Generating Hypergraph Grammars -- Composition of Path Transductions -- Object-Orientation -- Translating Java Code to Graph Transformation Systems -- Extending Graph Rewriting for Refactoring -- Derivations in Object-Oriented Graph Grammars -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation -- Workshop TERMGRAPH 2004 -- Workshop on Graph-Based Tools -- Workshop on Petri Nets and Graph Transformations -- Workshop on Software Evolution Through Transformations: Model-Based vs. Implementation-Level Solutions -- Workshop on Logic, Graph Transformations, Finite and Infinite Structures. | |
| 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 Algorithmes | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Grammaires de graphes | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Parisi-Presicce, Francesco. |4 pbd | |
| 700 | 1 | |a Engels, Gregor, |d 19..- |4 pbd | |
| 711 | 2 | |a ICGT 2004 |n (02 |d :2004 |c :Rome). |4 aut | |
| 776 | 0 | |0 082866104 |t Graph transformations |o second international conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 |o proceedings |f Hartmut Ehrig ... [et al.] (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (XII-450 p.) |s Lecture notes in computer science |z 3-540-23207-9 | |
| 776 | 0 | |t Graph Transformations |b Texte imprimé |z 9783662181645 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b100934 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-KM04WM0J-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750633158 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b100934 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753989557 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b100934 |z Accès INSA CVL | |
| 997 | |0 972768 |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/ | ||