Verfügbarkeit: Sufficient criteria for consistent behavior modeling with refined acticvity diagrams

Sufficient criteria for consistent behavior modeling with refined acticvity diagrams:

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lambers, Leen (VerfasserIn), Jurack, Stefan (VerfasserIn), Mehner-Heindl, Katharina 1970- (VerfasserIn), Runge, Olga (VerfasserIn), Taentzer, Gabriele 1963- (VerfasserIn)
Format:	Elektronisch E-Book
Sprache:	English
Veröffentlicht:	[Berlin] [Technische Universität Berlin] [2008]
Ausgabe:	Long version
Schriftenreihe:	[Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin] [Bericht-Nr. 2008-11]
Schlagworte:	Formale Semantik Aktivitätsdiagramm Bedingung Graphersetzungssystem Konsistenzprüfung Forschungsbericht
Online-Zugang:	11303/11399 Volltext https://hdl.handle.net/11303/11399 https://nbn-resolving.org/urn:nbn:de:101:1-2020062402023544608961 https://d-nb.info/1212508769/34
Beschreibung:	1 Online-Ressource (28 ungezählte Seiten) Illustrationen, Diagramme
DOI:	10.14279/depositonce-10283

Internformat

MARC


LEADER	00000nmm a2200000 cb4500
001	BV048452970
003	DE-604
005	20240221
007	cr\|uuu---uuuuu
008	220902s2008 gw \|\|\|\| o\|\|u\| \|\|\|\|\|\|eng d
015			\|a 20,O07 \|2 dnb
016	7		\|a 1212508769 \|2 DE-101
024	7		\|a 10.14279/depositonce-10283 \|2 doi
024	7		\|a urn:nbn:de:101:1-2020062402023544608961 \|2 urn
035			\|a (OCoLC)1344264583
035			\|a (DE-599)DNB1212508769
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 231 \|0 (DE-625)143618: \|2 rvk
084			\|a 004 \|2 sdnb
084			\|a 005.12 \|2 sdnb
100	1		\|a Lambers, Leen \|e Verfasser \|0 (DE-588)131769251 \|4 aut
245	1	0	\|a Sufficient criteria for consistent behavior modeling with refined acticvity diagrams \|c Leen Lambers (1), Stefan Jurack (2), Katharina Mehner (3), Olga Runge (1), Gabriele Taentzer (2), 1. Technische Universität Berlin, Germany, 2. Philipps-Universität Marburg, Germany, 3. Siemens AG, Corporate Technology, Germany
250			\|a Long version
264		1	\|a [Berlin] \|b [Technische Universität Berlin] \|c [2008]
300			\|a 1 Online-Ressource (28 ungezählte 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. 2008-11]
583	1		\|a Archivierung/Langzeitarchivierung gewährleistet \|5 DE-101 \|2 pdager
650	0	7	\|a Formale Semantik \|0 (DE-588)4122144-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Aktivitätsdiagramm \|0 (DE-588)1112960317 \|2 gnd \|9 rswk-swf
650	0	7	\|a Bedingung \|0 (DE-588)4005194-8 \|2 gnd \|9 rswk-swf
650	0	7	\|a Graphersetzungssystem \|0 (DE-588)4274073-3 \|2 gnd \|9 rswk-swf
650	0	7	\|a Konsistenzprüfung \|0 (DE-588)4165063-3 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4155043-2 \|a Forschungsbericht \|2 gnd-content
689	0	0	\|a Graphersetzungssystem \|0 (DE-588)4274073-3 \|D s
689	0	1	\|a Bedingung \|0 (DE-588)4005194-8 \|D s
689	0	2	\|a Konsistenzprüfung \|0 (DE-588)4165063-3 \|D s
689	0	3	\|a Formale Semantik \|0 (DE-588)4122144-8 \|D s
689	0	4	\|a Aktivitätsdiagramm \|0 (DE-588)1112960317 \|D s
689	0		\|5 DE-604
700	1		\|a Jurack, Stefan \|e Verfasser \|0 (DE-588)1031650318 \|4 aut
700	1		\|a Mehner-Heindl, Katharina \|d 1970- \|e Verfasser \|0 (DE-588)1109072589 \|4 aut
700	1		\|a Runge, Olga \|e Verfasser \|0 (DE-588)1138717282 \|4 aut
700	1		\|a Taentzer, Gabriele \|d 1963- \|e Verfasser \|0 (DE-588)128378778 \|4 aut
776	0	8	\|i Erscheint auch als \|n Druck-Ausgabe \|w (DE-604)BV024122169
810	2		\|a Technische Universität Berlin, Fakultät Elektrotechnik und Informatik \|t Technische Berichte \|v 2008,11 \|w (DE-604)BV021689926 \|9 2008,11
856			\|u 11303/11399
856	4	0	\|u https://doi.org/10.14279/depositonce-10283 \|x Resolving-System \|z kostenfrei \|3 Volltext
856	4	0	\|u https://hdl.handle.net/11303/11399 \|x Resolving-System
856	4	0	\|u https://nbn-resolving.org/urn:nbn:de:101:1-2020062402023544608961 \|x Resolving-System
856	4	0	\|u https://d-nb.info/1212508769/34 \|x Langzeitarchivierung Nationalbibliothek
912			\|a ebook
999			\|a oai:aleph.bib-bvb.de:BVB01-033831094

Datensatz im Suchindex

_version_	1804184386345631744
adam_txt
any_adam_object
any_adam_object_boolean
author	Lambers, Leen Jurack, Stefan Mehner-Heindl, Katharina 1970- Runge, Olga Taentzer, Gabriele 1963-
author_GND	(DE-588)131769251 (DE-588)1031650318 (DE-588)1109072589 (DE-588)1138717282 (DE-588)128378778
author_facet	Lambers, Leen Jurack, Stefan Mehner-Heindl, Katharina 1970- Runge, Olga Taentzer, Gabriele 1963-
author_role	aut aut aut aut aut
author_sort	Lambers, Leen
author_variant	l l ll s j sj k m h kmh o r or g t gt
building	Verbundindex
bvnumber	BV048452970
classification_rvk	ST 231
collection	ebook
ctrlnum	(OCoLC)1344264583 (DE-599)DNB1212508769
discipline	Informatik
discipline_str_mv	Informatik
doi_str_mv	10.14279/depositonce-10283
edition	Long version
format	Electronic eBook
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03196nmm a2200661 cb4500</leader><controlfield tag="001">BV048452970</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20240221 </controlfield><controlfield tag="007">cr\|uuu---uuuuu</controlfield><controlfield tag="008">220902s2008 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">1212508769</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.14279/depositonce-10283</subfield><subfield code="2">doi</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">urn:nbn:de:101:1-2020062402023544608961</subfield><subfield code="2">urn</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1344264583</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1212508769</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 231</subfield><subfield code="0">(DE-625)143618:</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.12</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Lambers, Leen</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)131769251</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Sufficient criteria for consistent behavior modeling with refined acticvity diagrams</subfield><subfield code="c">Leen Lambers (1), Stefan Jurack (2), Katharina Mehner (3), Olga Runge (1), Gabriele Taentzer (2), 1. Technische Universität Berlin, Germany, 2. Philipps-Universität Marburg, Germany, 3. Siemens AG, Corporate Technology, 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">[2008]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (28 ungezählte 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. 2008-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">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Aktivitätsdiagramm</subfield><subfield code="0">(DE-588)1112960317</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Bedingung</subfield><subfield code="0">(DE-588)4005194-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Konsistenzprüfung</subfield><subfield code="0">(DE-588)4165063-3</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">Graphersetzungssystem</subfield><subfield code="0">(DE-588)4274073-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Bedingung</subfield><subfield code="0">(DE-588)4005194-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Konsistenzprüfung</subfield><subfield code="0">(DE-588)4165063-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Formale Semantik</subfield><subfield code="0">(DE-588)4122144-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Aktivitätsdiagramm</subfield><subfield code="0">(DE-588)1112960317</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">Jurack, Stefan</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1031650318</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mehner-Heindl, Katharina</subfield><subfield code="d">1970-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1109072589</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="700" ind1="1" ind2=" "><subfield code="a">Taentzer, Gabriele</subfield><subfield code="d">1963-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128378778</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)BV024122169</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">2008,11</subfield><subfield code="w">(DE-604)BV021689926</subfield><subfield code="9">2008,11</subfield></datafield><datafield tag="856" ind1=" " ind2=" "><subfield code="u">11303/11399</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.14279/depositonce-10283</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/11399</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-2020062402023544608961</subfield><subfield code="x">Resolving-System</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://d-nb.info/1212508769/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-033831094</subfield></datafield></record></collection>
genre	(DE-588)4155043-2 Forschungsbericht gnd-content
genre_facet	Forschungsbericht
id	DE-604.BV048452970
illustrated	Not Illustrated
index_date	2024-07-03T20:31:28Z
indexdate	2024-07-10T09:38:31Z
institution	BVB
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-033831094
oclc_num	1344264583
open_access_boolean	1
owner	DE-83
owner_facet	DE-83
physical	1 Online-Ressource (28 ungezählte Seiten) Illustrationen, Diagramme
psigel	ebook
publishDate	2008
publishDateSearch	2008
publishDateSort	2008
publisher	[Technische Universität Berlin]
record_format	marc
series2	[Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin]
spelling	Lambers, Leen Verfasser (DE-588)131769251 aut Sufficient criteria for consistent behavior modeling with refined acticvity diagrams Leen Lambers (1), Stefan Jurack (2), Katharina Mehner (3), Olga Runge (1), Gabriele Taentzer (2), 1. Technische Universität Berlin, Germany, 2. Philipps-Universität Marburg, Germany, 3. Siemens AG, Corporate Technology, Germany Long version [Berlin] [Technische Universität Berlin] [2008] 1 Online-Ressource (28 ungezählte Seiten) Illustrationen, Diagramme txt rdacontent c rdamedia cr rdacarrier [Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik, Technische Universität Berlin] [Bericht-Nr. 2008-11] Archivierung/Langzeitarchivierung gewährleistet DE-101 pdager Formale Semantik (DE-588)4122144-8 gnd rswk-swf Aktivitätsdiagramm (DE-588)1112960317 gnd rswk-swf Bedingung (DE-588)4005194-8 gnd rswk-swf Graphersetzungssystem (DE-588)4274073-3 gnd rswk-swf Konsistenzprüfung (DE-588)4165063-3 gnd rswk-swf (DE-588)4155043-2 Forschungsbericht gnd-content Graphersetzungssystem (DE-588)4274073-3 s Bedingung (DE-588)4005194-8 s Konsistenzprüfung (DE-588)4165063-3 s Formale Semantik (DE-588)4122144-8 s Aktivitätsdiagramm (DE-588)1112960317 s DE-604 Jurack, Stefan Verfasser (DE-588)1031650318 aut Mehner-Heindl, Katharina 1970- Verfasser (DE-588)1109072589 aut Runge, Olga Verfasser (DE-588)1138717282 aut Taentzer, Gabriele 1963- Verfasser (DE-588)128378778 aut Erscheint auch als Druck-Ausgabe (DE-604)BV024122169 Technische Universität Berlin, Fakultät Elektrotechnik und Informatik Technische Berichte 2008,11 (DE-604)BV021689926 2008,11 11303/11399 https://doi.org/10.14279/depositonce-10283 Resolving-System kostenfrei Volltext https://hdl.handle.net/11303/11399 Resolving-System https://nbn-resolving.org/urn:nbn:de:101:1-2020062402023544608961 Resolving-System https://d-nb.info/1212508769/34 Langzeitarchivierung Nationalbibliothek
spellingShingle	Lambers, Leen Jurack, Stefan Mehner-Heindl, Katharina 1970- Runge, Olga Taentzer, Gabriele 1963- Sufficient criteria for consistent behavior modeling with refined acticvity diagrams Formale Semantik (DE-588)4122144-8 gnd Aktivitätsdiagramm (DE-588)1112960317 gnd Bedingung (DE-588)4005194-8 gnd Graphersetzungssystem (DE-588)4274073-3 gnd Konsistenzprüfung (DE-588)4165063-3 gnd
subject_GND	(DE-588)4122144-8 (DE-588)1112960317 (DE-588)4005194-8 (DE-588)4274073-3 (DE-588)4165063-3 (DE-588)4155043-2
title	Sufficient criteria for consistent behavior modeling with refined acticvity diagrams
title_auth	Sufficient criteria for consistent behavior modeling with refined acticvity diagrams
title_exact_search	Sufficient criteria for consistent behavior modeling with refined acticvity diagrams
title_exact_search_txtP	Sufficient criteria for consistent behavior modeling with refined acticvity diagrams
title_full	Sufficient criteria for consistent behavior modeling with refined acticvity diagrams Leen Lambers (1), Stefan Jurack (2), Katharina Mehner (3), Olga Runge (1), Gabriele Taentzer (2), 1. Technische Universität Berlin, Germany, 2. Philipps-Universität Marburg, Germany, 3. Siemens AG, Corporate Technology, Germany
title_fullStr	Sufficient criteria for consistent behavior modeling with refined acticvity diagrams Leen Lambers (1), Stefan Jurack (2), Katharina Mehner (3), Olga Runge (1), Gabriele Taentzer (2), 1. Technische Universität Berlin, Germany, 2. Philipps-Universität Marburg, Germany, 3. Siemens AG, Corporate Technology, Germany
title_full_unstemmed	Sufficient criteria for consistent behavior modeling with refined acticvity diagrams Leen Lambers (1), Stefan Jurack (2), Katharina Mehner (3), Olga Runge (1), Gabriele Taentzer (2), 1. Technische Universität Berlin, Germany, 2. Philipps-Universität Marburg, Germany, 3. Siemens AG, Corporate Technology, Germany
title_short	Sufficient criteria for consistent behavior modeling with refined acticvity diagrams
title_sort	sufficient criteria for consistent behavior modeling with refined acticvity diagrams
topic	Formale Semantik (DE-588)4122144-8 gnd Aktivitätsdiagramm (DE-588)1112960317 gnd Bedingung (DE-588)4005194-8 gnd Graphersetzungssystem (DE-588)4274073-3 gnd Konsistenzprüfung (DE-588)4165063-3 gnd
topic_facet	Formale Semantik Aktivitätsdiagramm Bedingung Graphersetzungssystem Konsistenzprüfung Forschungsbericht
url	11303/11399 https://doi.org/10.14279/depositonce-10283 https://hdl.handle.net/11303/11399 https://nbn-resolving.org/urn:nbn:de:101:1-2020062402023544608961 https://d-nb.info/1212508769/34
volume_link	(DE-604)BV021689926
work_keys_str_mv	AT lambersleen sufficientcriteriaforconsistentbehaviormodelingwithrefinedacticvitydiagrams AT jurackstefan sufficientcriteriaforconsistentbehaviormodelingwithrefinedacticvitydiagrams AT mehnerheindlkatharina sufficientcriteriaforconsistentbehaviormodelingwithrefinedacticvitydiagrams AT rungeolga sufficientcriteriaforconsistentbehaviormodelingwithrefinedacticvitydiagrams AT taentzergabriele sufficientcriteriaforconsistentbehaviormodelingwithrefinedacticvitydiagrams

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