Verfügbarkeit: Modeling and analysis of self-adaptive systems based on graph transformation

Modeling and analysis of self-adaptive systems based on graph transformation:

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bucchiarone, Antonio (VerfasserIn), Ehrig, Hartmut 1944-2016 (VerfasserIn), Ermel, Claudia (VerfasserIn), Pellicione, Patrizio (VerfasserIn), Runge, Olga (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	Berlin Technische Universität Berlin [2013]
Schriftenreihe:	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2013-03
Schlagworte:	Graphersetzungssystem Programmverifikation Selbsteinstellendes System Forschungsbericht
Online-Zugang:	11303/11307 Volltext https://hdl.handle.net/11303/11307 https://nbn-resolving.org/urn:nbn:de:101:1-2021010600582809472011 https://d-nb.info/1224544277/34
Beschreibung:	1 Online-Ressource (48 Seiten) Illustrationen, Diagramme
DOI:	10.14279/depositonce-10192

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV048418576
003	DE-604
005	20240103
007	cr\|uuu---uuuuu
008	220823s2013 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
015			\|a 21,O02 \|2 dnb
016	7		\|a 1224544277 \|2 DE-101
024	7		\|a 10.14279/depositonce-10192 \|2 doi
024	7		\|a urn:nbn:de:101:1-2021010600582809472011 \|2 urn
035			\|a (OCoLC)1344269152
035			\|a (DE-599)DNB1224544277
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			\|8 2\p \|a 004 \|2 23sdnb
084			\|8 1\p \|a 004.65 \|2 23ksdnb
100	1		\|a Bucchiarone, Antonio \|e Verfasser \|0 (DE-588)1064111386 \|4 aut
245	1	0	\|a Modeling and analysis of self-adaptive systems based on graph transformation \|c Antonio Bucchiarone (2), Hartmut Ehrig (1), Claudia Ermel (1), Patrizio Pellicione (3), Olga Runge (1), 1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany, 2. Fondazione Bruno Kessler, Trento, Italy, 3. Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Universita dell'Aquila, Italy
264		1	\|a Berlin \|b Technische Universität Berlin \|c [2013]
300			\|a 1 Online-Ressource (48 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. 2013-03
583	1		\|a Archivierung/Langzeitarchivierung gewährleistet \|5 DE-101 \|2 pdager
650	0	7	\|a Graphersetzungssystem \|0 (DE-588)4274073-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Programmverifikation \|0 (DE-588)4135576-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Selbsteinstellendes System \|0 (DE-588)4054398-5 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4155043-2 \|a Forschungsbericht \|2 gnd-content
689	0	0	\|a Selbsteinstellendes System \|0 (DE-588)4054398-5 \|D s
689	0	1	\|a Programmverifikation \|0 (DE-588)4135576-3 \|D s
689	0	2	\|a Graphersetzungssystem \|0 (DE-588)4274073-3 \|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 Ermel, Claudia \|e Verfasser \|0 (DE-588)114558914 \|4 aut
700	1		\|a Pellicione, Patrizio \|e Verfasser \|4 aut
700	1		\|a Runge, Olga \|e Verfasser \|0 (DE-588)1138717282 \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|w (DE-604)BV042247244
810	2		\|a Technische Universität Berlin, Fakultät Elektrotechnik und Informatik \|t Technische Berichte \|v 2013,3 \|w (DE-604)BV021689926 \|9 2013,3
856			\|u 11303/11307
856	4	0	\|u https://doi.org/10.14279/depositonce-10192 \|x Resolving-System \|z kostenfrei \|3 Volltext
856	4	0	\|u https://hdl.handle.net/11303/11307 \|x Resolving-System
856	4	0	\|u https://nbn-resolving.org/urn:nbn:de:101:1-2021010600582809472011 \|x Resolving-System
856	4	0	\|u https://d-nb.info/1224544277/34 \|x Langzeitarchivierung Nationalbibliothek
912			\|a ebook
999			\|a oai:aleph.bib-bvb.de:BVB01-033796913
883	0		\|8 1\p \|a aepkn \|c 0,91544 \|d 20210106 \|q DE-101 \|u https://d-nb.info/provenance/plan#aepkn
883	2		\|8 2\p \|a ie-sg-pa \|d 20210106 \|q DE-101 \|u https://d-nb.info/provenance/plan#ie-sg-pa

Datensatz im Suchindex

_version_	1804184333105233920
adam_txt
any_adam_object
any_adam_object_boolean
author	Bucchiarone, Antonio Ehrig, Hartmut 1944-2016 Ermel, Claudia Pellicione, Patrizio Runge, Olga
author_GND	(DE-588)1064111386 (DE-588)107905582 (DE-588)114558914 (DE-588)1138717282
author_facet	Bucchiarone, Antonio Ehrig, Hartmut 1944-2016 Ermel, Claudia Pellicione, Patrizio Runge, Olga
author_role	aut aut aut aut aut
author_sort	Bucchiarone, Antonio
author_variant	a b ab h e he c e ce p p pp o r or
building	Verbundindex
bvnumber	BV048418576
classification_rvk	ST 130
collection	ebook
ctrlnum	(OCoLC)1344269152 (DE-599)DNB1224544277
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.14279/depositonce-10192
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03224nmm a2200625 cb4500</leader><controlfield tag="001">BV048418576</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240103 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220823s2013 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">21,O02</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1224544277</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.14279/depositonce-10192</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:101:1-2021010600582809472011</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344269152</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1224544277</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="8">2\p</subfield><subfield code="a">004</subfield><subfield code="2">23sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="8">1\p</subfield><subfield code="a">004.65</subfield><subfield code="2">23ksdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Bucchiarone, Antonio</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1064111386</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Modeling and analysis of self-adaptive systems based on graph transformation</subfield><subfield code="c">Antonio Bucchiarone (2), Hartmut Ehrig (1), Claudia Ermel (1), Patrizio Pellicione (3), Olga Runge (1), 1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany, 2. Fondazione Bruno Kessler, Trento, Italy, 3. Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Universita dell'Aquila, Italy</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin</subfield><subfield code="b">Technische Universität Berlin</subfield><subfield code="c">[2013]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (48 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. 2013-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">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Selbsteinstellendes System</subfield><subfield code="0">(DE-588)4054398-5</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">Selbsteinstellendes System</subfield><subfield code="0">(DE-588)4054398-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</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">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">Pellicione, Patrizio</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Runge, Olga</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1138717282</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)BV042247244</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">2013,3</subfield><subfield code="w">(DE-604)BV021689926</subfield><subfield code="9">2013,3</subfield></datafield><datafield tag="856" ind1=" " ind2=" "><subfield code="u">11303/11307</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.14279/depositonce-10192</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/11307</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-2021010600582809472011</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://d-nb.info/1224544277/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-033796913</subfield></datafield><datafield tag="883" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">aepkn</subfield><subfield code="c">0,91544</subfield><subfield code="d">20210106</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#aepkn</subfield></datafield><datafield tag="883" ind1="2" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">ie-sg-pa</subfield><subfield code="d">20210106</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#ie-sg-pa</subfield></datafield></record></collection>
genre	(DE-588)4155043-2 Forschungsbericht gnd-content
genre_facet	Forschungsbericht
id	DE-604.BV048418576
illustrated	Not Illustrated
index_date	2024-07-03T20:27:03Z
indexdate	2024-07-10T09:37:40Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033796913
oclc_num	1344269152
open_access_boolean	1
owner	DE-83
owner_facet	DE-83
physical	1 Online-Ressource (48 Seiten) Illustrationen, Diagramme
psigel	ebook
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Technische Universität Berlin
record_format	marc
series2	Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin
spelling	Bucchiarone, Antonio Verfasser (DE-588)1064111386 aut Modeling and analysis of self-adaptive systems based on graph transformation Antonio Bucchiarone (2), Hartmut Ehrig (1), Claudia Ermel (1), Patrizio Pellicione (3), Olga Runge (1), 1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany, 2. Fondazione Bruno Kessler, Trento, Italy, 3. Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Universita dell'Aquila, Italy Berlin Technische Universität Berlin [2013] 1 Online-Ressource (48 Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin Bericht-Nr. 2013-03 Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager Graphersetzungssystem (DE-588)4274073-3 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Selbsteinstellendes System (DE-588)4054398-5 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content Selbsteinstellendes System (DE-588)4054398-5 s Programmverifikation (DE-588)4135576-3 s Graphersetzungssystem (DE-588)4274073-3 s DE-604 Ehrig, Hartmut 1944-2016 Verfasser (DE-588)107905582 aut Ermel, Claudia Verfasser (DE-588)114558914 aut Pellicione, Patrizio Verfasser aut Runge, Olga Verfasser (DE-588)1138717282 aut Erscheint auch als Druck-Ausgabe (DE-604)BV042247244 Technische Universität Berlin, Fakultät Elektrotechnik und Informatik Technische Berichte 2013,3 (DE-604)BV021689926 2013,3 11303/11307 https://doi.org/10.14279/depositonce-10192 Resolving-System kostenfrei Volltext https://hdl.handle.net/11303/11307 Resolving-System https://nbn-resolving.org/urn:nbn:de:101:1-2021010600582809472011 Resolving-System https://d-nb.info/1224544277/34 Langzeitarchivierung Nationalbibliothek 1\p aepkn 0,91544 20210106 DE-101 https://d-nb.info/provenance/plan#aepkn 2\p ie-sg-pa 20210106 DE-101 https://d-nb.info/provenance/plan#ie-sg-pa
spellingShingle	Bucchiarone, Antonio Ehrig, Hartmut 1944-2016 Ermel, Claudia Pellicione, Patrizio Runge, Olga Modeling and analysis of self-adaptive systems based on graph transformation Graphersetzungssystem (DE-588)4274073-3 gnd Programmverifikation (DE-588)4135576-3 gnd Selbsteinstellendes System (DE-588)4054398-5 gnd
subject_GND	(DE-588)4274073-3 (DE-588)4135576-3 (DE-588)4054398-5 (DE-588)4155043-2
title	Modeling and analysis of self-adaptive systems based on graph transformation
title_auth	Modeling and analysis of self-adaptive systems based on graph transformation
title_exact_search	Modeling and analysis of self-adaptive systems based on graph transformation
title_exact_search_txtP	Modeling and analysis of self-adaptive systems based on graph transformation
title_full	Modeling and analysis of self-adaptive systems based on graph transformation Antonio Bucchiarone (2), Hartmut Ehrig (1), Claudia Ermel (1), Patrizio Pellicione (3), Olga Runge (1), 1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany, 2. Fondazione Bruno Kessler, Trento, Italy, 3. Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Universita dell'Aquila, Italy
title_fullStr	Modeling and analysis of self-adaptive systems based on graph transformation Antonio Bucchiarone (2), Hartmut Ehrig (1), Claudia Ermel (1), Patrizio Pellicione (3), Olga Runge (1), 1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany, 2. Fondazione Bruno Kessler, Trento, Italy, 3. Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Universita dell'Aquila, Italy
title_full_unstemmed	Modeling and analysis of self-adaptive systems based on graph transformation Antonio Bucchiarone (2), Hartmut Ehrig (1), Claudia Ermel (1), Patrizio Pellicione (3), Olga Runge (1), 1. Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany, 2. Fondazione Bruno Kessler, Trento, Italy, 3. Dipartimento di Ingegneria e Scienze dell'Informazione e Matematica, Universita dell'Aquila, Italy
title_short	Modeling and analysis of self-adaptive systems based on graph transformation
title_sort	modeling and analysis of self adaptive systems based on graph transformation
topic	Graphersetzungssystem (DE-588)4274073-3 gnd Programmverifikation (DE-588)4135576-3 gnd Selbsteinstellendes System (DE-588)4054398-5 gnd
topic_facet	Graphersetzungssystem Programmverifikation Selbsteinstellendes System Forschungsbericht
url	11303/11307 https://doi.org/10.14279/depositonce-10192 https://hdl.handle.net/11303/11307 https://nbn-resolving.org/urn:nbn:de:101:1-2021010600582809472011 https://d-nb.info/1224544277/34
volume_link	(DE-604)BV021689926
work_keys_str_mv	AT bucchiaroneantonio modelingandanalysisofselfadaptivesystemsbasedongraphtransformation AT ehrighartmut modelingandanalysisofselfadaptivesystemsbasedongraphtransformation AT ermelclaudia modelingandanalysisofselfadaptivesystemsbasedongraphtransformation AT pellicionepatrizio modelingandanalysisofselfadaptivesystemsbasedongraphtransformation AT rungeolga modelingandanalysisofselfadaptivesystemsbasedongraphtransformation

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