Graph transformation : first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings
ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998)....
Enregistré dans:
| 企業作者: | |
|---|---|
| 其他作者: | , , |
| 格式: | Livre numérique |
| 語言: | Anglais |
| 出版: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| 叢編: | Lecture notes in computer science
2505 |
| 主題: | |
| 在線閱讀: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| 提示: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Graph transformation, first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, proceedings, Andrea Corradini ... [et al.] (eds.), Berlin, Springer, 2002, 1 vol. (IX-457 p.), Lecture notes in computer science, 3-540-44310-X • Graph Transformation, Texte imprimé, 9783662197592 |
| LEADER | 06384nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 973114 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155235427 | ||
| 020 | |a 9783540458326 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 511.5 | ||
| 082 | |a 004 | ||
| 111 | 2 | |a International Conference on Graph Transformation |n (01 |d :2002 |c :Barcelone). | |
| 245 | 1 | 0 | |a Graph transformation : |b first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 : proceedings |c edited by Andrea Corradini, Hartmut Ehrig, Hans -Jörg Kreowski... [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 2505 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Invited Papers -- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Bigraphs as a Model for Mobile Interaction -- Contributed Papers -- Approximating the Behaviour of Graph Transformation Systems -- Transforming Specification Architectures by GenGED -- Decomposing Graphs with Symmetries -- Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems -- Call-by-Value ?-Graph Rewriting Without Rewriting -- Transformation: The Missing Link of MDA -- Termination Detection of Distributed Algorithms by Graph Relabelling Systems -- Graph Transformation with Time: Causality and Logical Clocks -- Relabelling in Graph Transformation -- Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes -- Confluence of Typed Attributed Graph Transformation Systems -- Abstraction and Control for Shapely Nested Graph Transformation -- Hyperedge Substitution in Basic Atom-Replacement Languages -- Distributed Graph Transformation Units -- Describing Policies with Graph Constraints and Rules -- Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts -- Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment -- Graph-Based Reengineering of Telecommunication Systems -- Formalising Behaviour Preserving Program Transformations -- Unparsing of Diagrams with DiaGen -- Linear Ordered Graph Grammars and Their Algebraic Foundations -- Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems -- Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery -- GraCAD Graph-Based Tool for Conceptual Design -- A Formal Semantics of UML Statecharts by ModelTransition Systems -- Hierarchical Vertex Ordering -- Tutorials and Workshops -- Tutorial Introduction to Graph Transformation: A Software Engineering Perspective -- Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates -- TERMGRAPH 2002 Workshop Survey -- Workshop on Graph-Based Tools -- Workshop on Graph Transformation and Visual Modeling Techniques -- Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle -- Workshop on Logic, Graph Transformations and Discrete 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 | ||
| 520 | |a ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7 12, 2002 under the a- pices of the European Association of Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP Working Group 1.3, Foundations of Systems Speci?cation. The scope of the conference concerned graphical structures of various kinds (like graphs, diagrams, visual sentences and others) that are useful to describe complex structures and systems in a direct and intuitive way. These structures are often augmented by formalisms which add to the static description a further dimension, allowing for the modeling of the evolution of systems via all kinds of transformations of such graphical structures. The ?eld of Graph Transformation is concerned with the theory, applications, and implementation issues of such formalisms. The theory is strongly related to areas such as graph theory and graph - gorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal speci?cation and veri?cation, logic, and semantics. | ||
| 650 | |a Génie logiciel | ||
| 650 | |a 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 Ehrig, Hartmut, |d 1944- |4 pbd | |
| 700 | 1 | |a Corradini, Andrea, |d 1960-...., |c informaticien. |4 pbd | |
| 700 | 1 | |a Kreowski, Hans-Jörg. |4 pbd | |
| 776 | 0 | |0 069975264 |t Graph transformation |o first international conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002 |o proceedings |f Andrea Corradini ... [et al.] (eds.) |c Berlin |n Springer |d 2002 |p 1 vol. (IX-457 p.) |s Lecture notes in computer science |z 3-540-44310-X | |
| 776 | 0 | |t Graph Transformation |b Texte imprimé |z 9783662197592 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-45832-8 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-4TDBJD8H-6 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750629436 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-45832-8 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:753986205 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-45832-8 |z Accès INSA CVL | |
| 997 | |0 973114 |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/ | ||