TY - BOOK ID - 17306680 TI - Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings AU - Ehrig, Hartmut. AU - Engels, Gregor. AU - Parisi-Presicce, Francesco. AU - Rozenberg, Grzegorz. AU - ICGT 2004 PY - 2004 VL - 3256 SN - 3540232079 3540302034 9783540232070 PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Graph grammars KW - Computer science KW - Congresses KW - Data Structures. KW - Computation by Abstract Devices. KW - Grammars, Graph KW - Mathematics. KW - Software engineering. KW - Data structures (Computer science). KW - Computers. KW - Algorithms. KW - Discrete mathematics. KW - Discrete Mathematics. KW - Mathematics, general. KW - Software Engineering. KW - Algorithm Analysis and Problem Complexity. KW - Formal languages KW - Graph theory KW - Data structures (Computer scienc. KW - Computer science. KW - Computer software. KW - Informatics KW - Science KW - Computer software engineering KW - Engineering KW - Math KW - Software, Computer KW - Computer systems KW - Algorism KW - Algebra KW - Arithmetic KW - Automatic computers KW - Automatic data processors KW - Computer hardware KW - Computing machines (Computers) KW - Electronic brains KW - Electronic calculating-machines KW - Electronic computers KW - Hardware, Computer KW - Cybernetics KW - Machine theory KW - Calculators KW - Cyberspace KW - Discrete mathematical structures KW - Mathematical structures, Discrete KW - Structures, Discrete mathematical KW - Numerical analysis KW - Information structures (Computer science) KW - Structures, Data (Computer science) KW - Structures, Information (Computer science) KW - Electronic data processing KW - File organization (Computer science) KW - Abstract data types (Computer science) KW - Foundations KW - Graph grammars - Congresses KW - Computer science - Congresses UR - https://www.unicat.be/uniCat?func=search&query=sysid:17306680 AB - ICGT 2004 was the 2nd International Conference on Graph Transformation, following the first one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in computer science between 1978 and 1998. ICGT 2004 was held in Rome (Italy), Sept. 29–Oct. 1, 2004 under the auspices of the European Association for Theoretical Computer Science (EATCS), the European Association of Software Science and Technology (EASST), and the IFIP WG 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 when describing complex structures and systems in a direct and intuitive way. These structures are often augmented with formalisms that add to the static description a further dimension, allowing for the modelling 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. The application areas include all those fields of computer science, information processing,engineering,and the natural sciences where static and dynamic m- elling using graphical structures and graph transformations, respectively, play important roles. In many of these areas tools based on graph transformation technology have been implemented and used. ER -