On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars: long version
Gespeichert in:
1. Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Berlin
Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik
2009
|
Schriftenreihe: | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik
2009/11 |
Schlagworte: | |
Online-Zugang: | Volltext |
Beschreibung: | 19 S. graph. Darst. |
DOI: | 10.14279/depositonce-10261 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV035760508 | ||
003 | DE-604 | ||
005 | 20240222 | ||
007 | t | ||
008 | 091008s2009 d||| |||| 00||| eng d | ||
035 | |a (OCoLC)1344263535 | ||
035 | |a (DE-599)BVBBV035760508 | ||
040 | |a DE-604 |b ger |e rakwb | ||
041 | 0 | |a eng | |
049 | |a DE-83 | ||
084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
100 | 1 | |a Ehrig, Hartmut |d 1944-2016 |e Verfasser |0 (DE-588)107905582 |4 aut | |
245 | 1 | 0 | |a On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars |b long version |c Hartmut Ehrig ... |
264 | 1 | |a Berlin |b Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik |c 2009 | |
300 | |a 19 S. |b graph. Darst. | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |v 2009/11 | |
650 | 0 | 7 | |a Semantikerhaltende Transformation |0 (DE-588)4615977-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Vollständigkeit |0 (DE-588)4284513-0 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Graph-Grammatik |0 (DE-588)4132847-4 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Modelltransformation |0 (DE-588)7616754-9 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Modelltransformation |0 (DE-588)7616754-9 |D s |
689 | 0 | 1 | |a Graph-Grammatik |0 (DE-588)4132847-4 |D s |
689 | 0 | 2 | |a Semantikerhaltende Transformation |0 (DE-588)4615977-0 |D s |
689 | 0 | 3 | |a Vollständigkeit |0 (DE-588)4284513-0 |D s |
689 | 0 | |5 DE-604 | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o 10.14279/depositonce-10261 |w (DE-604)BV048451484 |
830 | 0 | |a Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |v 2009/11 |w (DE-604)BV014139937 |9 2009,11 | |
856 | 4 | 1 | |u https://doi.org/10.14279/depositonce-10261 |x Resolving-System |z kostenfrei |3 Volltext |
912 | |a ebook | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-018620389 |
Datensatz im Suchindex
_version_ | 1804140683945050112 |
---|---|
any_adam_object | |
author | Ehrig, Hartmut 1944-2016 |
author_GND | (DE-588)107905582 |
author_facet | Ehrig, Hartmut 1944-2016 |
author_role | aut |
author_sort | Ehrig, Hartmut 1944-2016 |
author_variant | h e he |
building | Verbundindex |
bvnumber | BV035760508 |
classification_rvk | ST 130 |
collection | ebook |
ctrlnum | (OCoLC)1344263535 (DE-599)BVBBV035760508 |
discipline | Informatik |
doi_str_mv | 10.14279/depositonce-10261 |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01858nam a2200421 cb4500</leader><controlfield tag="001">BV035760508</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240222 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">091008s2009 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344263535</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV035760508</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</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="100" ind1="1" ind2=" "><subfield code="a">Ehrig, Hartmut</subfield><subfield code="d">1944-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars</subfield><subfield code="b">long version</subfield><subfield code="c">Hartmut Ehrig ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">19 S.</subfield><subfield code="b">graph. Darst.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="v">2009/11</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantikerhaltende Transformation</subfield><subfield code="0">(DE-588)4615977-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Vollständigkeit</subfield><subfield code="0">(DE-588)4284513-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Graph-Grammatik</subfield><subfield code="0">(DE-588)4132847-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Semantikerhaltende Transformation</subfield><subfield code="0">(DE-588)4615977-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Vollständigkeit</subfield><subfield code="0">(DE-588)4284513-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="o">10.14279/depositonce-10261</subfield><subfield code="w">(DE-604)BV048451484</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="v">2009/11</subfield><subfield code="w">(DE-604)BV014139937</subfield><subfield code="9">2009,11</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.14279/depositonce-10261</subfield><subfield code="x">Resolving-System</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-018620389</subfield></datafield></record></collection> |
id | DE-604.BV035760508 |
illustrated | Illustrated |
indexdate | 2024-07-09T22:03:53Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018620389 |
oclc_num | 1344263535 |
open_access_boolean | 1 |
owner | DE-83 |
owner_facet | DE-83 |
physical | 19 S. graph. Darst. |
psigel | ebook |
publishDate | 2009 |
publishDateSearch | 2009 |
publishDateSort | 2009 |
publisher | Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik |
record_format | marc |
series | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |
series2 | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |
spelling | Ehrig, Hartmut 1944-2016 Verfasser (DE-588)107905582 aut On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars long version Hartmut Ehrig ... Berlin Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik 2009 19 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2009/11 Semantikerhaltende Transformation (DE-588)4615977-0 gnd rswk-swf Vollständigkeit (DE-588)4284513-0 gnd rswk-swf Graph-Grammatik (DE-588)4132847-4 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf Modelltransformation (DE-588)7616754-9 s Graph-Grammatik (DE-588)4132847-4 s Semantikerhaltende Transformation (DE-588)4615977-0 s Vollständigkeit (DE-588)4284513-0 s DE-604 Erscheint auch als Online-Ausgabe 10.14279/depositonce-10261 (DE-604)BV048451484 Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2009/11 (DE-604)BV014139937 2009,11 https://doi.org/10.14279/depositonce-10261 Resolving-System kostenfrei Volltext |
spellingShingle | Ehrig, Hartmut 1944-2016 On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars long version Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik Semantikerhaltende Transformation (DE-588)4615977-0 gnd Vollständigkeit (DE-588)4284513-0 gnd Graph-Grammatik (DE-588)4132847-4 gnd Modelltransformation (DE-588)7616754-9 gnd |
subject_GND | (DE-588)4615977-0 (DE-588)4284513-0 (DE-588)4132847-4 (DE-588)7616754-9 |
title | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars long version |
title_auth | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars long version |
title_exact_search | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars long version |
title_full | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars long version Hartmut Ehrig ... |
title_fullStr | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars long version Hartmut Ehrig ... |
title_full_unstemmed | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars long version Hartmut Ehrig ... |
title_short | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars |
title_sort | on the fly construction correctness and completeness of model transformations based on triple graph grammars long version |
title_sub | long version |
topic | Semantikerhaltende Transformation (DE-588)4615977-0 gnd Vollständigkeit (DE-588)4284513-0 gnd Graph-Grammatik (DE-588)4132847-4 gnd Modelltransformation (DE-588)7616754-9 gnd |
topic_facet | Semantikerhaltende Transformation Vollständigkeit Graph-Grammatik Modelltransformation |
url | https://doi.org/10.14279/depositonce-10261 |
volume_link | (DE-604)BV014139937 |
work_keys_str_mv | AT ehrighartmut ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion |