MARC details
000 -LEADER |
fixed length control field |
03458nam a22004815i 4500 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20231104114230.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
151221s2015 gw | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783662479803 |
Canceled/invalid ISBN |
978-3-662-47980-3 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/978-3-662-47980-3 |
Source of number or code |
doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
QA75.5-76.95 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
UY |
Source |
bicssc |
|
Subject category code |
COM014000 |
Source |
bisacsh |
|
Subject category code |
UY |
Source |
thema |
|
Subject category code |
UYA |
Source |
thema004.0151 |
-- |
23 |
041 ## - LANGUAGE CODE |
Language code of text/sound track or separate title |
İngilizce |
100 1# - MAIN ENTRY--PERSONAL NAME |
Personal name |
Ehrig, Hartmut. |
Relator term |
author. |
Relator code |
aut |
-- |
http://id.loc.gov/vocabulary/relators/aut |
245 10 - TITLE STATEMENT |
Title |
Graph and Model Transformation : |
Remainder of title |
General Framework and Applications / |
Statement of responsibility, etc. |
by Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Berlin, Heidelberg : |
Name of producer, publisher, distributor, manufacturer |
Springer Berlin Heidelberg : |
-- |
Imprint: Springer, |
Date of production, publication, distribution, manufacture, or copyright notice |
2015. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
1 online resource |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS |
File type |
text file |
Encoding format |
PDF |
Source |
rda |
490 0# - SERIES STATEMENT |
Series statement |
Monographs in Theoretical Computer Science. An EATCS Series, |
International Standard Serial Number |
1431-2654 |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
Information theory. |
|
Topical term or geographic name entry element |
Software engineering. |
|
Topical term or geographic name entry element |
Algebra. |
|
Topical term or geographic name entry element |
Theory of Computation. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I16005 |
|
Topical term or geographic name entry element |
Software Engineering/Programming and Operating Systems. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/I14002 |
|
Topical term or geographic name entry element |
Category Theory, Homological Algebra. |
Authority record control number or standard number |
http://scigraph.springernature.com/things/product-market-codes/M11035 |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Ermel, Claudia. |
Relator term |
author. |
Relator code |
aut |
-- |
http://id.loc.gov/vocabulary/relators/aut |
|
Personal name |
Golas, Ulrike. |
Relator term |
author. |
Relator code |
aut |
-- |
http://id.loc.gov/vocabulary/relators/aut |
|
Personal name |
Hermann, Frank. |
Relator term |
author. |
Relator code |
aut |
-- |
http://id.loc.gov/vocabulary/relators/aut |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
<a href="https://doi.org/10.1007/978-3-662-47980-3">https://doi.org/10.1007/978-3-662-47980-3</a> |
Materials specified |
Springer eBooks |
Public note |
Online access link to the resource |
912 ## - |
-- |
ZDB-2-SCS |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Source of classification or shelving scheme |
Library of Congress Classification |
Koha item type |
E-Book |