Graph and Model Transformation (Record no. 52321)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03382nam a22005655i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-662-47980-3 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20200420220228.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 151221s2015 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783662479803 |
| -- | 978-3-662-47980-3 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 004.0151 |
| 100 1# - AUTHOR NAME | |
| Author | Ehrig, Hartmut. |
| 245 10 - TITLE STATEMENT | |
| Title | Graph and Model Transformation |
| Sub Title | General Framework and Applications / |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XI, 472 p. 465 illus., 5 illus. in color. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Monographs in Theoretical Computer Science. An EATCS Series, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | General Introduction -- Graph Transformation -- Model Transformation -- Adhesive and M-adhesive Categories -- M-adhesive Transformation Systems -- Multi-amalgamated Transformations -- Model Transformation and Model Integration -- Analysis of Model Transformations -- Model Synchronisation -- Modelling and Static Analysis of Self-adaptive Systems by Graph Transformation -- Enterprise Modelling and Model Integration -- Tool Support -- App. A, Basic Notions of Category Theory -- App. B, Proofs and Additional Properties -- References -- Index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Ermel, Claudia. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Golas, Ulrike. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Hermann, Frank. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | http://dx.doi.org/10.1007/978-3-662-47980-3 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Berlin, Heidelberg : |
| -- | Springer Berlin Heidelberg : |
| -- | Imprint: Springer, |
| -- | 2015. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer science. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software engineering. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computers. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Category theory (Mathematics). |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Homological algebra. |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Computer Science. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Theory of Computation. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Software Engineering/Programming and Operating Systems. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Category Theory, Homological Algebra. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 1431-2654 |
| 912 ## - | |
| -- | ZDB-2-SCS |
No items available.