|
|
|
|
| LEADER |
00000nam a22000005i 4500 |
| 001 |
b3282376 |
| 003 |
MWH |
| 005 |
20191028141426.0 |
| 007 |
cr nn 008mamaa |
| 008 |
151221s2015 gw | s |||| 0|eng d |
| 020 |
|
|
|a 9783662479803
|
| 024 |
7 |
|
|a 10.1007/978-3-662-47980-3
|2 doi
|
| 035 |
|
|
|a (DE-He213)978-3-662-47980-3
|
| 050 |
|
4 |
|a E-Book
|
| 072 |
|
7 |
|a UY
|2 bicssc
|
| 072 |
|
7 |
|a COM014000
|2 bisacsh
|
| 072 |
|
7 |
|a UY
|2 thema
|
| 072 |
|
7 |
|a UYA
|2 thema
|
| 100 |
1 |
|
|a Ehrig, Hartmut.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 245 |
1 |
0 |
|a Graph and Model Transformation
|h [electronic resource] :
|b General Framework and Applications /
|c by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann.
|
| 250 |
|
|
|a 1st ed. 2015.
|
| 264 |
|
1 |
|a Berlin, Heidelberg :
|b Springer Berlin Heidelberg :
|b Imprint: Springer,
|c 2015.
|
| 300 |
|
|
|a XI, 472 p. 465 illus., 5 illus. in color.
|b online resource.
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 347 |
|
|
|a text file
|b PDF
|2 rda
|
| 490 |
1 |
|
|a Monographs in Theoretical Computer Science. An EATCS Series,
|x 1431-2654
|
| 490 |
1 |
|
|a Springer eBook Collection
|
| 505 |
0 |
|
|a 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 |
|
|
|a 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.
|
| 590 |
|
|
|a Loaded electronically.
|
| 590 |
|
|
|a Electronic access restricted to members of the Holy Cross Community.
|
| 650 |
|
0 |
|a Computers.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Category theory (Mathematics).
|
| 650 |
|
0 |
|a Homological algebra.
|
| 690 |
|
|
|a Electronic resources (E-books)
|
| 700 |
1 |
|
|a Ermel, Claudia.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 700 |
1 |
|
|a Golas, Ulrike.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 700 |
1 |
|
|a Hermann, Frank.
|e author.
|4 aut
|4 http://id.loc.gov/vocabulary/relators/aut
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 830 |
|
0 |
|a Monographs in Theoretical Computer Science. An EATCS Series,
|x 1431-2654
|
| 830 |
|
0 |
|a Springer eBook Collection.
|
| 856 |
4 |
0 |
|u https://holycross.idm.oclc.org/login?auth=cas&url=https://doi.org/10.1007/978-3-662-47980-3
|3 Click to view e-book
|t 0
|
| 907 |
|
|
|a .b32823769
|b 04-18-22
|c 02-26-20
|
| 998 |
|
|
|a he
|b 02-26-20
|c m
|d @
|e -
|f eng
|g gw
|h 0
|i 1
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
| 902 |
|
|
|a springer purchased ebooks
|
| 903 |
|
|
|a SEB-COLL
|
| 945 |
|
|
|f - -
|g 1
|h 0
|j - -
|k - -
|l he
|o -
|p $0.00
|q -
|r -
|s b
|t 38
|u 0
|v 0
|w 0
|x 0
|y .i21955384
|z 02-26-20
|
| 999 |
f |
f |
|i df4d2542-3c16-5852-b68e-044c51c5b403
|s b29e1b0f-570a-5737-87ee-6d1bed399b2d
|t 0
|
| 952 |
f |
f |
|p Online
|a College of the Holy Cross
|b Main Campus
|c E-Resources
|d Online
|t 0
|e E-Book
|h Library of Congress classification
|i Elec File
|