Verfügbarkeit: Formal analysis of functional behaviour for model transformations based on triple graph grammars

Formal analysis of functional behaviour for model transformations based on triple graph grammars:

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Hermann, Frank (VerfasserIn), Ehrig, Hartmut 1944-2016 (VerfasserIn), Orejas, Fernando (VerfasserIn), Golas, Ulrike 1980- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin Technische Universität Berlin [2010]
Ausgabe:	Extended version
Schriftenreihe:	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2010-08
Schlagworte:	Graph-Grammatik Modelltransformation Konfluenz > Informatik Forschungsbericht
Online-Zugang:	11303/11357 kostenfrei https://hdl.handle.net/11303/11357 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702093596306751 https://d-nb.info/1212112385/34
Beschreibung:	1 Online-Ressource (33 Seiten) Illustrationen, Diagramme
DOI:	10.14279/depositonce-10244

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV048427947
003	DE-604
005	20240216
007	cr\|uuu---uuuuu
008	220825s2010 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
015			\|a 20,O07 \|2 dnb
016	7		\|a 1212112385 \|2 DE-101
024	7		\|a 10.14279/depositonce-10244 \|2 doi
024	7		\|a urn:nbn:de:101:1-2020061702093596306751 \|2 urn
035			\|a (OCoLC)1344235941
035			\|a (DE-599)DNB1212112385
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
100	1		\|a Hermann, Frank \|e Verfasser \|4 aut
245	1	0	\|a Formal analysis of functional behaviour for model transformations based on triple graph grammars \|c Frank Hermann, Hartmut Ehrig, Fernando Orejas, and Ulrike Golas
250			\|a Extended version
264		1	\|a Berlin \|b Technische Universität Berlin \|c [2010]
300			\|a 1 Online-Ressource (33 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. 2010-08
583	1		\|a Archivierung/Langzeitarchivierung gewährleistet \|5 DE-101 \|2 pdager
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
650	0	7	\|a Konfluenz \|g Informatik \|0 (DE-588)4516767-9 \|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 Konfluenz \|g Informatik \|0 (DE-588)4516767-9 \|D s
689	0		\|5 DE-604
700	1		\|a Ehrig, Hartmut \|d 1944-2016 \|e Verfasser \|0 (DE-588)107905582 \|4 aut
700	1		\|a Orejas, Fernando \|e Verfasser \|4 aut
700	1		\|a Golas, Ulrike \|d 1980- \|e Verfasser \|0 (DE-588)142140139 \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|w (DE-604)BV036757531
810	2		\|a Technische Universität Berlin, Fakultät Elektrotechnik und Informatik \|t Technische Berichte \|v 2010,8 \|w (DE-604)BV021689926 \|9 2010,8
856			\|u 11303/11357
856	4	0	\|u https://doi.org/10.14279/depositonce-10244 \|x Resolving-System \|z kostenfrei \|3 Volltext
856	4	0	\|u https://hdl.handle.net/11303/11357 \|x Resolving-System
856	4	0	\|u https://nbn-resolving.org/urn:nbn:de:101:1-2020061702093596306751 \|x Resolving-System
856	4	0	\|u https://d-nb.info/1212112385/34 \|x Langzeitarchivierung Nationalbibliothek
912			\|a ebook
999			\|a oai:aleph.bib-bvb.de:BVB01-033806217

Datensatz im Suchindex

_version_	1804184346018447360
adam_txt
any_adam_object
any_adam_object_boolean
author	Hermann, Frank Ehrig, Hartmut 1944-2016 Orejas, Fernando Golas, Ulrike 1980-
author_GND	(DE-588)107905582 (DE-588)142140139
author_facet	Hermann, Frank Ehrig, Hartmut 1944-2016 Orejas, Fernando Golas, Ulrike 1980-
author_role	aut aut aut aut
author_sort	Hermann, Frank
author_variant	f h fh h e he f o fo u g ug
building	Verbundindex
bvnumber	BV048427947
classification_rvk	ST 130
collection	ebook
ctrlnum	(OCoLC)1344235941 (DE-599)DNB1212112385
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.14279/depositonce-10244
edition	Extended version
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02647nmm a2200589 cb4500</leader><controlfield tag="001">BV048427947</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240216 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220825s2010 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">1212112385</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.14279/depositonce-10244</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:101:1-2020061702093596306751</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344235941</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1212112385</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="100" ind1="1" ind2=" "><subfield code="a">Hermann, Frank</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formal analysis of functional behaviour for model transformations based on triple graph grammars</subfield><subfield code="c">Frank Hermann, Hartmut Ehrig, Fernando Orejas, and Ulrike Golas</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Extended 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">[2010]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (33 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. 2010-08</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">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="650" ind1="0" ind2="7"><subfield code="a">Konfluenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4516767-9</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">Konfluenz</subfield><subfield code="g">Informatik</subfield><subfield code="0">(DE-588)4516767-9</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="d">1944-2016</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)107905582</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Orejas, Fernando</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Golas, Ulrike</subfield><subfield code="d">1980-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)142140139</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)BV036757531</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">2010,8</subfield><subfield code="w">(DE-604)BV021689926</subfield><subfield code="9">2010,8</subfield></datafield><datafield tag="856" ind1=" " ind2=" "><subfield code="u">11303/11357</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.14279/depositonce-10244</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/11357</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-2020061702093596306751</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://d-nb.info/1212112385/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-033806217</subfield></datafield></record></collection>
genre	(DE-588)4155043-2 Forschungsbericht gnd-content
genre_facet	Forschungsbericht
id	DE-604.BV048427947
illustrated	Not Illustrated
index_date	2024-07-03T20:28:09Z
indexdate	2024-07-10T09:37:52Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033806217
oclc_num	1344235941
open_access_boolean	1
owner	DE-83
owner_facet	DE-83
physical	1 Online-Ressource (33 Seiten) Illustrationen, Diagramme
psigel	ebook
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Technische Universität Berlin
record_format	marc
series2	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
spelling	Hermann, Frank Verfasser aut Formal analysis of functional behaviour for model transformations based on triple graph grammars Frank Hermann, Hartmut Ehrig, Fernando Orejas, and Ulrike Golas Extended version Berlin Technische Universität Berlin [2010] 1 Online-Ressource (33 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2010-08 Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager Graph-Grammatik (DE-588)4132847-4 gnd rswk-swf Modelltransformation (DE-588)7616754-9 gnd rswk-swf Konfluenz Informatik (DE-588)4516767-9 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content Modelltransformation (DE-588)7616754-9 s Graph-Grammatik (DE-588)4132847-4 s Konfluenz Informatik (DE-588)4516767-9 s DE-604 Ehrig, Hartmut 1944-2016 Verfasser (DE-588)107905582 aut Orejas, Fernando Verfasser aut Golas, Ulrike 1980- Verfasser (DE-588)142140139 aut Erscheint auch als Druck-Ausgabe (DE-604)BV036757531 Technische Universität Berlin, Fakultät Elektrotechnik und Informatik Technische Berichte 2010,8 (DE-604)BV021689926 2010,8 11303/11357 https://doi.org/10.14279/depositonce-10244 Resolving-System kostenfrei Volltext https://hdl.handle.net/11303/11357 Resolving-System https://nbn-resolving.org/urn:nbn:de:101:1-2020061702093596306751 Resolving-System https://d-nb.info/1212112385/34 Langzeitarchivierung Nationalbibliothek
spellingShingle	Hermann, Frank Ehrig, Hartmut 1944-2016 Orejas, Fernando Golas, Ulrike 1980- Formal analysis of functional behaviour for model transformations based on triple graph grammars Graph-Grammatik (DE-588)4132847-4 gnd Modelltransformation (DE-588)7616754-9 gnd Konfluenz Informatik (DE-588)4516767-9 gnd
subject_GND	(DE-588)4132847-4 (DE-588)7616754-9 (DE-588)4516767-9 (DE-588)4155043-2
title	Formal analysis of functional behaviour for model transformations based on triple graph grammars
title_auth	Formal analysis of functional behaviour for model transformations based on triple graph grammars
title_exact_search	Formal analysis of functional behaviour for model transformations based on triple graph grammars
title_exact_search_txtP	Formal analysis of functional behaviour for model transformations based on triple graph grammars
title_full	Formal analysis of functional behaviour for model transformations based on triple graph grammars Frank Hermann, Hartmut Ehrig, Fernando Orejas, and Ulrike Golas
title_fullStr	Formal analysis of functional behaviour for model transformations based on triple graph grammars Frank Hermann, Hartmut Ehrig, Fernando Orejas, and Ulrike Golas
title_full_unstemmed	Formal analysis of functional behaviour for model transformations based on triple graph grammars Frank Hermann, Hartmut Ehrig, Fernando Orejas, and Ulrike Golas
title_short	Formal analysis of functional behaviour for model transformations based on triple graph grammars
title_sort	formal analysis of functional behaviour for model transformations based on triple graph grammars
topic	Graph-Grammatik (DE-588)4132847-4 gnd Modelltransformation (DE-588)7616754-9 gnd Konfluenz Informatik (DE-588)4516767-9 gnd
topic_facet	Graph-Grammatik Modelltransformation Konfluenz Informatik Forschungsbericht
url	11303/11357 https://doi.org/10.14279/depositonce-10244 https://hdl.handle.net/11303/11357 https://nbn-resolving.org/urn:nbn:de:101:1-2020061702093596306751 https://d-nb.info/1212112385/34
volume_link	(DE-604)BV021689926
work_keys_str_mv	AT hermannfrank formalanalysisoffunctionalbehaviourformodeltransformationsbasedontriplegraphgrammars AT ehrighartmut formalanalysisoffunctionalbehaviourformodeltransformationsbasedontriplegraphgrammars AT orejasfernando formalanalysisoffunctionalbehaviourformodeltransformationsbasedontriplegraphgrammars AT golasulrike formalanalysisoffunctionalbehaviourformodeltransformationsbasedontriplegraphgrammars

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Volltext öffnen

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge