Completeness and correctness of model transformations based on triple graph grammars with negative application conditions: long version
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin
Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik
2009
|
| Series: | Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik
2009,03 |
| Subjects: | |
| Online Access: | Volltext |
| Physical Description: | 14 S. graph. Darst. |
| DOI: | 10.14279/depositonce-10255 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV024122175 | ||
| 003 | DE-604 | ||
| 005 | 20240216 | ||
| 007 | t | ||
| 008 | 090924s2009 d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)458769011 | ||
| 035 | |a (DE-599)BVBBV024122175 | ||
| 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 Completeness and correctness of model transformations based on triple graph grammars with negative application conditions |b long version |c Hartmut Ehrig, Frank Hermann and Christoph Sartorius |
| 264 | 1 | |a Berlin |b Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik |c 2009 | |
| 300 | |a 14 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,03 | |
| 650 | 0 | 7 | |a Korrektheit |0 (DE-588)4240223-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modelltransformation |0 (DE-588)7616754-9 |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 |
| 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 Vollständigkeit |0 (DE-588)4284513-0 |D s |
| 689 | 0 | 3 | |a Korrektheit |0 (DE-588)4240223-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Hermann, Frank |e Verfasser |4 aut | |
| 700 | 1 | |a Sartorius, Christoph |e Verfasser |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |o 10.14279/depositonce-10255 |w (DE-604)BV048445180 |
| 830 | 0 | |a Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik |v 2009,03 |w (DE-604)BV014139937 |9 2009,3 | |
| 856 | 4 | 1 | |u https://doi.org/10.14279/depositonce-10255 |x Resolving-System |z kostenfrei |3 Volltext |
| 912 | |a ebook | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-018338897 | ||
Record in the Search Index
| _version_ | 1804140309636972544 |
|---|---|
| any_adam_object | |
| author | Ehrig, Hartmut 1944-2016 Hermann, Frank Sartorius, Christoph |
| author_GND | (DE-588)107905582 |
| author_facet | Ehrig, Hartmut 1944-2016 Hermann, Frank Sartorius, Christoph |
| author_role | aut aut aut |
| author_sort | Ehrig, Hartmut 1944-2016 |
| author_variant | h e he f h fh c s cs |
| building | Verbundindex |
| bvnumber | BV024122175 |
| classification_rvk | ST 130 |
| collection | ebook |
| ctrlnum | (OCoLC)458769011 (DE-599)BVBBV024122175 |
| discipline | Informatik |
| doi_str_mv | 10.14279/depositonce-10255 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01959nam a2200445 cb4500</leader><controlfield tag="001">BV024122175</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240216 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090924s2009 d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)458769011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV024122175</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">Completeness and correctness of model transformations based on triple graph grammars with negative application conditions</subfield><subfield code="b">long version</subfield><subfield code="c">Hartmut Ehrig, Frank Hermann and Christoph Sartorius</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">14 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,03</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</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">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="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">Vollständigkeit</subfield><subfield code="0">(DE-588)4284513-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Korrektheit</subfield><subfield code="0">(DE-588)4240223-2</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">Hermann, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Sartorius, Christoph</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">Online-Ausgabe</subfield><subfield code="o">10.14279/depositonce-10255</subfield><subfield code="w">(DE-604)BV048445180</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik</subfield><subfield code="v">2009,03</subfield><subfield code="w">(DE-604)BV014139937</subfield><subfield code="9">2009,3</subfield></datafield><datafield tag="856" ind1="4" ind2="1"><subfield code="u">https://doi.org/10.14279/depositonce-10255</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-018338897</subfield></datafield></record></collection> |
| id | DE-604.BV024122175 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:57:56Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018338897 |
| oclc_num | 458769011 |
| open_access_boolean | 1 |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 14 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 Completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version Hartmut Ehrig, Frank Hermann and Christoph Sartorius Berlin Techn. Univ. Berlin, Fakultät IV, Elektrotechnik und Informatik 2009 14 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2009,03 Korrektheit (DE-588)4240223-2 gnd rswk-swf Modelltransformation (DE-588)7616754-9 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 s Graph-Grammatik (DE-588)4132847-4 s Vollständigkeit (DE-588)4284513-0 s Korrektheit (DE-588)4240223-2 s DE-604 Hermann, Frank Verfasser aut Sartorius, Christoph Verfasser aut Erscheint auch als Online-Ausgabe 10.14279/depositonce-10255 (DE-604)BV048445180 Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik 2009,03 (DE-604)BV014139937 2009,3 https://doi.org/10.14279/depositonce-10255 Resolving-System kostenfrei Volltext |
| spellingShingle | Ehrig, Hartmut 1944-2016 Hermann, Frank Sartorius, Christoph Completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik Korrektheit (DE-588)4240223-2 gnd Modelltransformation (DE-588)7616754-9 gnd Vollständigkeit (DE-588)4284513-0 gnd Graph-Grammatik (DE-588)4132847-4 gnd |
| subject_GND | (DE-588)4240223-2 (DE-588)7616754-9 (DE-588)4284513-0 (DE-588)4132847-4 |
| title | Completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version |
| title_auth | Completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version |
| title_exact_search | Completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version |
| title_full | Completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version Hartmut Ehrig, Frank Hermann and Christoph Sartorius |
| title_fullStr | Completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version Hartmut Ehrig, Frank Hermann and Christoph Sartorius |
| title_full_unstemmed | Completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version Hartmut Ehrig, Frank Hermann and Christoph Sartorius |
| title_short | Completeness and correctness of model transformations based on triple graph grammars with negative application conditions |
| title_sort | completeness and correctness of model transformations based on triple graph grammars with negative application conditions long version |
| title_sub | long version |
| topic | Korrektheit (DE-588)4240223-2 gnd Modelltransformation (DE-588)7616754-9 gnd Vollständigkeit (DE-588)4284513-0 gnd Graph-Grammatik (DE-588)4132847-4 gnd |
| topic_facet | Korrektheit Modelltransformation Vollständigkeit Graph-Grammatik |
| url | https://doi.org/10.14279/depositonce-10255 |
| volume_link | (DE-604)BV014139937 |
| work_keys_str_mv | AT ehrighartmut completenessandcorrectnessofmodeltransformationsbasedontriplegraphgrammarswithnegativeapplicationconditionslongversion AT hermannfrank completenessandcorrectnessofmodeltransformationsbasedontriplegraphgrammarswithnegativeapplicationconditionslongversion AT sartoriuschristoph completenessandcorrectnessofmodeltransformationsbasedontriplegraphgrammarswithnegativeapplicationconditionslongversion |