Verfügbarkeit: Completeness and correctness of model transformations based on triple graph grammars with negative application conditions

Completeness and correctness of model transformations based on triple graph grammars with negative application conditions:

Gespeichert in:

Bibliographische Detailangaben
Beteiligte Personen:	Ehrig, Hartmut 1944-2016 (VerfasserIn), Hermann, Frank (VerfasserIn), Sartorius, Christoph (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	Englisch
Veröffentlicht:	Berlin Technische Universität Berlin [2009]
Ausgabe:	(Long version)
Schriftenreihe:	[Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin] Bericht-Nr. 2009/03
Schlagwörter:	Korrektheit Modelltransformation Graph-Grammatik Vollständigkeit Forschungsbericht
Links:	https://doi.org/10.14279/depositonce-10255 https://hdl.handle.net/11303/11368 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702131760604558 https://d-nb.info/1212112733/34
Umfang:	1 Online-Ressource (14 Seiten) Illustrationen, Diagramme
DOI:	10.14279/depositonce-10255

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV048445180
003	DE-604
005	20240216
007	cr\|uuu---uuuuu
008	220826s2009 gw a\|\|\| o\|\|\|\| 00\|\|\| eng d
015			\|a 20,O07 \|2 dnb
016	7		\|a 1212112733 \|2 DE-101
024	7		\|a 10.14279/depositonce-10255 \|2 doi
024	7		\|a urn:nbn:de:101:1-2020061702131760604558 \|2 urn
024	7		\|a 11303/11368 \|2 hdl
035			\|a (OCoLC)1344247008
035			\|a (DE-599)DNB1212112733
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 004 \|2 sdnb
084			\|a 005.13 \|2 sdnb
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 \|c Hartmut Ehrig, Frank Hermann and Christoph Sartorius, Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany
250			\|a (Long version)
264		1	\|a Berlin \|b Technische Universität Berlin \|c [2009]
300			\|a 1 Online-Ressource (14 Seiten) \|b Illustrationen, 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/03
583	1		\|a Archivierung/Langzeitarchivierung gewährleistet \|5 DE-101 \|2 pdager
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 Graph-Grammatik \|0 (DE-588)4132847-4 \|2 gnd \|9 rswk-swf
650	0	7	\|a Vollständigkeit \|0 (DE-588)4284513-0 \|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 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 Druck-Ausgabe \|w (DE-604)BV024122175
810	2		\|a Technische Universität Berlin, Fakultät Elektrotechnik und Informatik \|t Technische Berichte \|v 2009,3 \|w (DE-604)BV021689926 \|9 2009,3
856	4	0	\|u https://doi.org/10.14279/depositonce-10255 \|x Resolving-System \|z kostenfrei \|3 Volltext
856	4	0	\|u https://hdl.handle.net/11303/11368 \|x Resolving-System
856	4	0	\|u https://nbn-resolving.org/urn:nbn:de:101:1-2020061702131760604558 \|x Resolving-System
856	4	0	\|u https://d-nb.info/1212112733/34 \|x Langzeitarchivierung Nationalbibliothek
912			\|a ebook
943	1		\|a oai:aleph.bib-bvb.de:BVB01-033823430

Datensatz im Suchindex

_version_	1818989858556739584
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	BV048445180
classification_rvk	ST 130
collection	ebook
ctrlnum	(OCoLC)1344247008 (DE-599)DNB1212112733
discipline	Informatik
doi_str_mv	10.14279/depositonce-10255
edition	(Long version)
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02829nam a2200613 cb4500</leader><controlfield tag="001">BV048445180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240216 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220826s2009 gw a\|\|\| o\|\|\|\| 00\|\|\| 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">1212112733</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.14279/depositonce-10255</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:101:1-2020061702131760604558</subfield><subfield code="2">urn</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">11303/11368</subfield><subfield code="2">hdl</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344247008</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1212112733</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">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">005.13</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">Completeness and correctness of model transformations based on triple graph grammars with negative application conditions</subfield><subfield code="c">Hartmut Ehrig, Frank Hermann and Christoph Sartorius, Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">(Long version)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Technische Universität Berlin</subfield><subfield code="c">[2009]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (14 Seiten)</subfield><subfield code="b">Illustrationen, 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/03</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">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">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">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="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">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">Druck-Ausgabe</subfield><subfield code="w">(DE-604)BV024122175</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,3</subfield><subfield code="w">(DE-604)BV021689926</subfield><subfield code="9">2009,3</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><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="856" ind1="4" ind2="0"><subfield code="u">https://hdl.handle.net/11303/11368</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-2020061702131760604558</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://d-nb.info/1212112733/34</subfield><subfield code="x">Langzeitarchivierung Nationalbibliothek</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ebook</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033823430</subfield></datafield></record></collection>
genre	(DE-588)4155043-2 Forschungsbericht gnd-content
genre_facet	Forschungsbericht
id	DE-604.BV048445180
illustrated	Illustrated
indexdate	2024-12-20T19:45:09Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033823430
oclc_num	1344247008
open_access_boolean	1
owner	DE-83
owner_facet	DE-83
physical	1 Online-Ressource (14 Seiten) Illustrationen, 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 Completeness and correctness of model transformations based on triple graph grammars with negative application conditions Hartmut Ehrig, Frank Hermann and Christoph Sartorius, Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany (Long version) Berlin Technische Universität Berlin [2009] 1 Online-Ressource (14 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier [Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin] Bericht-Nr. 2009/03 Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager Korrektheit (DE-588)4240223-2 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf Graph-Grammatik (DE-588)4132847-4 gnd rswk-swf Vollständigkeit (DE-588)4284513-0 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content 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 Druck-Ausgabe (DE-604)BV024122175 Technische Universität Berlin, Fakultät Elektrotechnik und Informatik Technische Berichte 2009,3 (DE-604)BV021689926 2009,3 https://doi.org/10.14279/depositonce-10255 Resolving-System kostenfrei Volltext https://hdl.handle.net/11303/11368 Resolving-System https://nbn-resolving.org/urn:nbn:de:101:1-2020061702131760604558 Resolving-System https://d-nb.info/1212112733/34 Langzeitarchivierung Nationalbibliothek
spellingShingle	Ehrig, Hartmut 1944-2016 Hermann, Frank Sartorius, Christoph Completeness and correctness of model transformations based on triple graph grammars with negative application conditions Korrektheit (DE-588)4240223-2 gnd Modelltransformation (DE-588)7616754-9 gnd Graph-Grammatik (DE-588)4132847-4 gnd Vollständigkeit (DE-588)4284513-0 gnd
subject_GND	(DE-588)4240223-2 (DE-588)7616754-9 (DE-588)4132847-4 (DE-588)4284513-0 (DE-588)4155043-2
title	Completeness and correctness of model transformations based on triple graph grammars with negative application conditions
title_auth	Completeness and correctness of model transformations based on triple graph grammars with negative application conditions
title_exact_search	Completeness and correctness of model transformations based on triple graph grammars with negative application conditions
title_full	Completeness and correctness of model transformations based on triple graph grammars with negative application conditions Hartmut Ehrig, Frank Hermann and Christoph Sartorius, Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany
title_fullStr	Completeness and correctness of model transformations based on triple graph grammars with negative application conditions Hartmut Ehrig, Frank Hermann and Christoph Sartorius, Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany
title_full_unstemmed	Completeness and correctness of model transformations based on triple graph grammars with negative application conditions Hartmut Ehrig, Frank Hermann and Christoph Sartorius, Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany
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
topic	Korrektheit (DE-588)4240223-2 gnd Modelltransformation (DE-588)7616754-9 gnd Graph-Grammatik (DE-588)4132847-4 gnd Vollständigkeit (DE-588)4284513-0 gnd
topic_facet	Korrektheit Modelltransformation Graph-Grammatik Vollständigkeit Forschungsbericht
url	https://doi.org/10.14279/depositonce-10255 https://hdl.handle.net/11303/11368 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702131760604558 https://d-nb.info/1212112733/34
volume_link	(DE-604)BV021689926
work_keys_str_mv	AT ehrighartmut completenessandcorrectnessofmodeltransformationsbasedontriplegraphgrammarswithnegativeapplicationconditions AT hermannfrank completenessandcorrectnessofmodeltransformationsbasedontriplegraphgrammarswithnegativeapplicationconditions AT sartoriuschristoph completenessandcorrectnessofmodeltransformationsbasedontriplegraphgrammarswithnegativeapplicationconditions

Verfügbarkeit

‌

Online lesen (frei zugänglich)