On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars: Long version
Gespeichert in:
Hauptverfasser: | , , , |
---|---|
Format: | Elektronisch E-Book |
Sprache: | English |
Veröffentlicht: |
Berlin
Technische Universität Berlin
July 13, 2009
|
Schriftenreihe: | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
Bericht-Nr. 2009-11 |
Schlagworte: | |
Online-Zugang: | 11303/11374 Volltext https://hdl.handle.net/11303/11374 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662 https://d-nb.info/1212112342/34 |
Beschreibung: | 1 Online-Ressource (19 Seiten) Diagramme |
DOI: | 10.14279/depositonce-10261 |
Internformat
MARC
LEADER | 00000nmm a2200000 cb4500 | ||
---|---|---|---|
001 | BV048451484 | ||
003 | DE-604 | ||
005 | 20240222 | ||
007 | cr|uuu---uuuuu | ||
008 | 220901s2009 gw |||| o||u| ||||||eng d | ||
015 | |a 20,O07 |2 dnb | ||
016 | 7 | |a 1212112342 |2 DE-101 | |
024 | 7 | |a 10.14279/depositonce-10261 |2 doi | |
024 | 7 | |a urn:nbn:de:101:1-2020061702091777059662 |2 urn | |
035 | |a (OCoLC)1344263792 | ||
035 | |a (DE-599)DNB1212112342 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c XA-DE-BE | ||
049 | |a DE-83 | ||
084 | |a ST 130 |0 (DE-625)143588: |2 rvk | ||
084 | |a 005.13 |2 sdnb | ||
084 | |a 004 |2 sdnb | ||
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, Claudia Ermel, Frank Hermann and Ulrike Prange |
264 | 1 | |a Berlin |b Technische Universität Berlin |c July 13, 2009 | |
300 | |a 1 Online-Ressource (19 Seiten) |b Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b c |2 rdamedia | ||
338 | |b cr |2 rdacarrier | ||
490 | 1 | |a Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin |v Bericht-Nr. 2009-11 | |
583 | 1 | |a Archivierung/Langzeitarchivierung gewährleistet |5 DE-101 |2 pdager | |
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 Modelltransformation |0 (DE-588)7616754-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Graph-Grammatik |0 (DE-588)4132847-4 |2 gnd |9 rswk-swf |
655 | 7 | |0 (DE-588)4155043-2 |a Forschungsbericht |2 gnd-content | |
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 | |
700 | 1 | |a Ermel, Claudia |e Verfasser |0 (DE-588)114558914 |4 aut | |
700 | 1 | |a Hermann, Frank |e Verfasser |4 aut | |
700 | 1 | |a Prange, Ulrike |e Verfasser |4 aut | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |w (DE-604)BV035760508 |
810 | 2 | |a Technische Universität Berlin, Fakultät Elektrotechnik und Informatik |t Technische Berichte |v 2009,11 |w (DE-604)BV021689926 |9 2009,11 | |
856 | |u 11303/11374 | ||
856 | 4 | 0 | |u https://doi.org/10.14279/depositonce-10261 |x Resolving-System |z kostenfrei |3 Volltext |
856 | 4 | 0 | |u https://hdl.handle.net/11303/11374 |x Resolving-System |
856 | 4 | 0 | |u https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662 |x Resolving-System |
856 | 4 | 0 | |u https://d-nb.info/1212112342/34 |x Langzeitarchivierung Nationalbibliothek |
912 | |a ebook | ||
999 | |a oai:aleph.bib-bvb.de:BVB01-033829632 |
Datensatz im Suchindex
_version_ | 1804184383799689216 |
---|---|
adam_txt | |
any_adam_object | |
any_adam_object_boolean | |
author | Ehrig, Hartmut 1944-2016 Ermel, Claudia Hermann, Frank Prange, Ulrike |
author_GND | (DE-588)107905582 (DE-588)114558914 |
author_facet | Ehrig, Hartmut 1944-2016 Ermel, Claudia Hermann, Frank Prange, Ulrike |
author_role | aut aut aut aut |
author_sort | Ehrig, Hartmut 1944-2016 |
author_variant | h e he c e ce f h fh u p up |
building | Verbundindex |
bvnumber | BV048451484 |
classification_rvk | ST 130 |
collection | ebook |
ctrlnum | (OCoLC)1344263792 (DE-599)DNB1212112342 |
discipline | Informatik |
discipline_str_mv | Informatik |
doi_str_mv | 10.14279/depositonce-10261 |
format | Electronic eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02799nmm a2200613 cb4500</leader><controlfield tag="001">BV048451484</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240222 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220901s2009 gw |||| o||u| ||||||eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">20,O07</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1212112342</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.14279/depositonce-10261</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:101:1-2020061702091777059662</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344263792</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1212112342</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</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="084" ind1=" " ind2=" "><subfield code="a">005.13</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</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, Claudia Ermel, Frank Hermann and Ulrike Prange</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Technische Universität Berlin</subfield><subfield code="c">July 13, 2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (19 Seiten)</subfield><subfield code="b">Diagramme</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="490" ind1="1" ind2=" "><subfield code="a">Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin</subfield><subfield code="v">Bericht-Nr. 2009-11</subfield></datafield><datafield tag="583" ind1="1" ind2=" "><subfield code="a">Archivierung/Langzeitarchivierung gewährleistet</subfield><subfield code="5">DE-101</subfield><subfield code="2">pdager</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">Modelltransformation</subfield><subfield code="0">(DE-588)7616754-9</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4155043-2</subfield><subfield code="a">Forschungsbericht</subfield><subfield code="2">gnd-content</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="700" ind1="1" ind2=" "><subfield code="a">Ermel, Claudia</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)114558914</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hermann, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Prange, Ulrike</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="w">(DE-604)BV035760508</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Technische Universität Berlin, Fakultät Elektrotechnik und Informatik</subfield><subfield code="t">Technische Berichte</subfield><subfield code="v">2009,11</subfield><subfield code="w">(DE-604)BV021689926</subfield><subfield code="9">2009,11</subfield></datafield><datafield tag="856" ind1=" " ind2=" "><subfield code="u">11303/11374</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><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="856" ind1="4" ind2="0"><subfield code="u">https://hdl.handle.net/11303/11374</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://d-nb.info/1212112342/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</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-033829632</subfield></datafield></record></collection> |
genre | (DE-588)4155043-2 Forschungsbericht gnd-content |
genre_facet | Forschungsbericht |
id | DE-604.BV048451484 |
illustrated | Not Illustrated |
index_date | 2024-07-03T20:30:52Z |
indexdate | 2024-07-10T09:38:28Z |
institution | BVB |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033829632 |
oclc_num | 1344263792 |
open_access_boolean | 1 |
owner | DE-83 |
owner_facet | DE-83 |
physical | 1 Online-Ressource (19 Seiten) Diagramme |
psigel | ebook |
publishDate | 2009 |
publishDateSearch | 2009 |
publishDateSort | 2009 |
publisher | Technische Universität Berlin |
record_format | marc |
series2 | Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin |
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, Claudia Ermel, Frank Hermann and Ulrike Prange Berlin Technische Universität Berlin July 13, 2009 1 Online-Ressource (19 Seiten) Diagramme txt rdacontent c rdamedia cr rdacarrier Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2009-11 Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager Semantikerhaltende Transformation (DE-588)4615977-0 gnd rswk-swf Vollständigkeit (DE-588)4284513-0 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf Graph-Grammatik (DE-588)4132847-4 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content 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 Ermel, Claudia Verfasser (DE-588)114558914 aut Hermann, Frank Verfasser aut Prange, Ulrike Verfasser aut Erscheint auch als Druck-Ausgabe (DE-604)BV035760508 Technische Universität Berlin, Fakultät Elektrotechnik und Informatik Technische Berichte 2009,11 (DE-604)BV021689926 2009,11 11303/11374 https://doi.org/10.14279/depositonce-10261 Resolving-System kostenfrei Volltext https://hdl.handle.net/11303/11374 Resolving-System https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662 Resolving-System https://d-nb.info/1212112342/34 Langzeitarchivierung Nationalbibliothek |
spellingShingle | Ehrig, Hartmut 1944-2016 Ermel, Claudia Hermann, Frank Prange, Ulrike On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version Semantikerhaltende Transformation (DE-588)4615977-0 gnd Vollständigkeit (DE-588)4284513-0 gnd Modelltransformation (DE-588)7616754-9 gnd Graph-Grammatik (DE-588)4132847-4 gnd |
subject_GND | (DE-588)4615977-0 (DE-588)4284513-0 (DE-588)7616754-9 (DE-588)4132847-4 (DE-588)4155043-2 |
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_exact_search_txtP | 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, Claudia Ermel, Frank Hermann and Ulrike Prange |
title_fullStr | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version Hartmut Ehrig, Claudia Ermel, Frank Hermann and Ulrike Prange |
title_full_unstemmed | On-the-fly construction, correctness and completeness of model transformations based on triple graph grammars Long version Hartmut Ehrig, Claudia Ermel, Frank Hermann and Ulrike Prange |
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 Modelltransformation (DE-588)7616754-9 gnd Graph-Grammatik (DE-588)4132847-4 gnd |
topic_facet | Semantikerhaltende Transformation Vollständigkeit Modelltransformation Graph-Grammatik Forschungsbericht |
url | 11303/11374 https://doi.org/10.14279/depositonce-10261 https://hdl.handle.net/11303/11374 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702091777059662 https://d-nb.info/1212112342/34 |
volume_link | (DE-604)BV021689926 |
work_keys_str_mv | AT ehrighartmut ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion AT ermelclaudia ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion AT hermannfrank ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion AT prangeulrike ontheflyconstructioncorrectnessandcompletenessofmodeltransformationsbasedontriplegraphgrammarslongversion |