|
|
|
|
LEADER |
03979nmm a2200421 u 4500 |
001 |
EB000652514 |
003 |
EBX01000000000000000505596 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| eng |
020 |
|
|
|a 9783540302032
|
100 |
1 |
|
|a Ehrig, Hartmut
|e [editor]
|
245 |
0 |
0 |
|a Graph Transformations
|h Elektronische Ressource
|b Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
|c edited by Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg
|
250 |
|
|
|a 1st ed. 2004
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2004, 2004
|
300 |
|
|
|a XII, 456 p
|b online resource
|
505 |
0 |
|
|a 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 --
|
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 --
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Artificial intelligence / Data processing
|
653 |
|
|
|a Software engineering
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Software Engineering
|
653 |
|
|
|a Algorithms
|
653 |
|
|
|a Discrete Mathematics
|
653 |
|
|
|a Discrete mathematics
|
653 |
|
|
|a Theory of Computation
|
653 |
|
|
|a Mathematics
|
653 |
|
|
|a Data Science
|
700 |
1 |
|
|a Engels, Gregor
|e [editor]
|
700 |
1 |
|
|a Parisi-Presicce, Francesco
|e [editor]
|
700 |
1 |
|
|a Rozenberg, Grzegorz
|e [editor]
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Lecture Notes in Computer Science
|
028 |
5 |
0 |
|a 10.1007/b100934
|
856 |
4 |
0 |
|u https://doi.org/10.1007/b100934?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511.1
|