Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools:
Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software...
Gespeichert in:
Format: | Elektronisch E-Book |
---|---|
Sprache: | English |
Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c1999
|
Schlagworte: | |
Online-Zugang: | FHN01 URL des Erstveroeffentlichers |
Zusammenfassung: | Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered as a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages. The contributions have been written in a tutorial/survey style by the top experts in the corresponding areas. This volume is accompanied by a CD-Rom containing implementations of specification environments based on graph transformation systems, and tools whose implementation is based on the use of graph transformation systems |
Beschreibung: | xix, 698 p. ill |
ISBN: | 9789812815149 |
Internformat
MARC
LEADER | 00000nmm a2200000zc 4500 | ||
---|---|---|---|
001 | BV044636455 | ||
003 | DE-604 | ||
005 | 00000000000000.0 | ||
007 | cr|uuu---uuuuu | ||
008 | 171120s1999 |||| o||u| ||||||eng d | ||
020 | |a 9789812815149 |c electronic bk. |9 978-981-281-514-9 | ||
024 | 7 | |a 10.1142/4180 |2 doi | |
035 | |a (ZDB-124-WOP)00003190 | ||
035 | |a (OCoLC)1012640219 | ||
035 | |a (DE-599)BVBBV044636455 | ||
040 | |a DE-604 |b ger |e aacr | ||
041 | 0 | |a eng | |
049 | |a DE-92 | ||
082 | 0 | |a 511.5 |2 22 | |
084 | |a SK 890 |0 (DE-625)143267: |2 rvk | ||
084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
245 | 1 | 0 | |a Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools |c edited by H Ehrig ... [et al.] |
264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c1999 | |
300 | |a xix, 698 p. |b ill | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
520 | |a Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered as a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages. The contributions have been written in a tutorial/survey style by the top experts in the corresponding areas. This volume is accompanied by a CD-Rom containing implementations of specification environments based on graph transformation systems, and tools whose implementation is based on the use of graph transformation systems | ||
650 | 4 | |a Graph grammars | |
650 | 4 | |a Graph theory / Data processing | |
650 | 0 | 7 | |a Graphentheorie |0 (DE-588)4113782-6 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Graphentheorie |0 (DE-588)4113782-6 |D s |
689 | 0 | |5 DE-604 | |
700 | 1 | |a Ehrig, Hartmut |e Sonstige |4 oth | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789810240202 |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9810240201 |
856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/4180#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
912 | |a ZDB-124-WOP | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-030034427 | ||
966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/4180#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext |
Datensatz im Suchindex
_version_ | 1804178050824273920 |
---|---|
any_adam_object | |
building | Verbundindex |
bvnumber | BV044636455 |
classification_rvk | SK 890 ST 130 |
collection | ZDB-124-WOP |
ctrlnum | (ZDB-124-WOP)00003190 (OCoLC)1012640219 (DE-599)BVBBV044636455 |
dewey-full | 511.5 |
dewey-hundreds | 500 - Natural sciences and mathematics |
dewey-ones | 511 - General principles of mathematics |
dewey-raw | 511.5 |
dewey-search | 511.5 |
dewey-sort | 3511.5 |
dewey-tens | 510 - Mathematics |
discipline | Informatik Mathematik |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03479nmm a2200445zc 4500</leader><controlfield tag="001">BV044636455</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s1999 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812815149</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-281-514-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/4180</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00003190</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012640219</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044636455</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.5</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 890</subfield><subfield code="0">(DE-625)143267:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 130</subfield><subfield code="0">(DE-625)143588:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools</subfield><subfield code="c">edited by H Ehrig ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xix, 698 p.</subfield><subfield code="b">ill</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered as a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages. The contributions have been written in a tutorial/survey style by the top experts in the corresponding areas. This volume is accompanied by a CD-Rom containing implementations of specification environments based on graph transformation systems, and tools whose implementation is based on the use of graph transformation systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graph grammars</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Graph theory / Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Graphentheorie</subfield><subfield code="0">(DE-588)4113782-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9789810240202</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9810240201</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/4180#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030034427</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/4180#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
id | DE-604.BV044636455 |
illustrated | Not Illustrated |
indexdate | 2024-07-10T07:57:49Z |
institution | BVB |
isbn | 9789812815149 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030034427 |
oclc_num | 1012640219 |
open_access_boolean | |
owner | DE-92 |
owner_facet | DE-92 |
physical | xix, 698 p. ill |
psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
publishDate | 1999 |
publishDateSearch | 1999 |
publishDateSort | 1999 |
publisher | World Scientific Pub. Co. |
record_format | marc |
spelling | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools edited by H Ehrig ... [et al.] Singapore World Scientific Pub. Co. c1999 xix, 698 p. ill txt rdacontent c rdamedia cr rdacarrier Graph grammars originated in the late 60s, motivated by considerations about pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph grammars has grown quite impressively. Besides the aforementioned areas, it includes software specification and development, VLSI layout schemes, database design, modeling of concurrent systems, massively parallel computer architectures, logic programming, computer animation, developmental biology, music composition, visual languages, and many others. The area of graph grammars and graph transformations generalizes formal language theory based on strings and the theory of term rewriting based on trees. As a matter of fact, within the area of graph grammars, graph transformation is considered as a fundamental computation paradigm where computation includes specification, programming, and implementation. Over the last three decades, graph grammars have developed at a steady pace into a theoretically attractive and important-for-applications research field. Volume 2 of the indispensable Handbook of Graph Grammars and Computing by Graph Transformations considers applications to functional languages, visual and object-oriented languages, software engineering, mechanical engineering, chemical process engineering, and images. It also presents implemented specification languages and tools, and structuring and modularization concepts for specification languages. The contributions have been written in a tutorial/survey style by the top experts in the corresponding areas. This volume is accompanied by a CD-Rom containing implementations of specification environments based on graph transformation systems, and tools whose implementation is based on the use of graph transformation systems Graph grammars Graph theory / Data processing Graphentheorie (DE-588)4113782-6 gnd rswk-swf Graphentheorie (DE-588)4113782-6 s DE-604 Ehrig, Hartmut Sonstige oth Erscheint auch als Druck-Ausgabe 9789810240202 Erscheint auch als Druck-Ausgabe 9810240201 http://www.worldscientific.com/worldscibooks/10.1142/4180#t=toc Verlag URL des Erstveroeffentlichers Volltext |
spellingShingle | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools Graph grammars Graph theory / Data processing Graphentheorie (DE-588)4113782-6 gnd |
subject_GND | (DE-588)4113782-6 |
title | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools |
title_auth | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools |
title_exact_search | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools |
title_full | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools edited by H Ehrig ... [et al.] |
title_fullStr | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools edited by H Ehrig ... [et al.] |
title_full_unstemmed | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools edited by H Ehrig ... [et al.] |
title_short | Handbook of graph grammars and computing by graph transformation, Volume 2, Applications, languages and tools |
title_sort | handbook of graph grammars and computing by graph transformation volume 2 applications languages and tools |
topic | Graph grammars Graph theory / Data processing Graphentheorie (DE-588)4113782-6 gnd |
topic_facet | Graph grammars Graph theory / Data processing Graphentheorie |
url | http://www.worldscientific.com/worldscibooks/10.1142/4180#t=toc |
work_keys_str_mv | AT ehrighartmut handbookofgraphgrammarsandcomputingbygraphtransformationvolume2applicationslanguagesandtools |