LEADER 07256nam 22008415 450 001 9910143896703321 005 20230424194404.0 010 $a3-540-45832-8 024 7 $a10.1007/3-540-45832-8 035 $a(CKB)1000000000211815 035 $a(SSID)ssj0000323603 035 $a(PQKBManifestationID)11272585 035 $a(PQKBTitleCode)TC0000323603 035 $a(PQKBWorkID)10300454 035 $a(PQKB)11134848 035 $a(DE-He213)978-3-540-45832-6 035 $a(MiAaPQ)EBC3071610 035 $a(PPN)155235427 035 $a(EXLCZ)991000000000211815 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aGraph Transformation $eFirst International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings /$fedited by Andrea Corradini, Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (X, 466 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2505 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-44310-X 320 $aIncludes bibliographical references and index. 327 $aInvited Papers -- Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering -- Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) -- Biographs 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 State charts by Model Transition 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. 330 $aICGT 2002 was the first 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- pieces 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 Specification. 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 field 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 algorithms, formal language and parsing theory, the theory of concurrent and distributed systems, formal specification and verification, logic, and semantics. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2505 606 $aOptical data processing 606 $aDiscrete mathematics 606 $aDatabase management 606 $aComputer science?Mathematics 606 $aData structures (Computer science) 606 $aSoftware engineering 606 $aImage Processing and Computer Vision$3https://scigraph.springernature.com/ontologies/product-market-codes/I22021 606 $aDiscrete Mathematics$3https://scigraph.springernature.com/ontologies/product-market-codes/M29000 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028 606 $aData Structures$3https://scigraph.springernature.com/ontologies/product-market-codes/I15017 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 615 0$aOptical data processing. 615 0$aDiscrete mathematics. 615 0$aDatabase management. 615 0$aComputer science?Mathematics. 615 0$aData structures (Computer science) 615 0$aSoftware engineering. 615 14$aImage Processing and Computer Vision. 615 24$aDiscrete Mathematics. 615 24$aDatabase Management. 615 24$aDiscrete Mathematics in Computer Science. 615 24$aData Structures. 615 24$aSoftware Engineering. 676 $a511/.5 702 $aCorradini$b Andrea$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aEhrig$b Hartmut$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKreowski$b Hans-Jörg$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRozenberg$b Grzegorz$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aICGT 2002 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910143896703321 996 $aGraph Transformation$92896451 997 $aUNINA