Verfügbarkeit: Reliable software technologies - Ada-Europe 2013

Reliable software technologies - Ada-Europe 2013: 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	International Conference on Reliable Software Technologies Berlin (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2013
Schriftenreihe:	Lecture notes in computer science 7896
Schlagworte:	Echtzeitsystem Softwareentwicklung Ada Zuverlässigkeit Eingebettetes System Konferenzschrift > 2013 > Berlin
Online-Zugang:	Inhaltstext Inhaltsverzeichnis
Beschreibung:	XII, 176 S. Ill., graph. Darst. 235 mm x 155 mm, 299 g
ISBN:	3642386008 9783642386008

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV041103143
003	DE-604
005	20140212
007	t\|
008	130624s2013 xx ad\|\| \|\|\|\| 10\|\|\| eng d
015			\|a 13N19 \|2 dnb
016	7		\|a 1034226762 \|2 DE-101
020			\|a 3642386008 \|c : Pb. : ca. EUR 49.22 (DE) \|9 3-642-38600-8
020			\|a 9783642386008 \|c : Pb. : ca. EUR 49.22 (DE) \|9 978-3-642-38600-8
035			\|a (OCoLC)852532402
035			\|a (DE-599)DNB1034226762
040			\|a DE-604 \|b ger \|e aacr
041	0		\|a eng
049			\|a DE-83 \|a DE-11 \|a DE-91G
082	0		\|a 005.133 \|2 22/ger
084			\|a DAT 263f \|2 stub
084			\|a DAT 343f \|2 stub
084			\|a DAT 356f \|2 stub
111	2		\|a International Conference on Reliable Software Technologies \|n 18 \|d 2013 \|c Berlin \|j Verfasser \|0 (DE-588)1036373746 \|4 aut
245	1	0	\|a Reliable software technologies - Ada-Europe 2013 \|b 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings \|c Hubert B. Keller ... (eds.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2013
300			\|a XII, 176 S. \|b Ill., graph. Darst. \|c 235 mm x 155 mm, 299 g
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 7896
650	0	7	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|2 gnd \|9 rswk-swf
650	0	7	\|a Ada \|0 (DE-588)4000430-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|2 gnd \|9 rswk-swf
650	0	7	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2013 \|z Berlin \|2 gnd-content
689	0	0	\|a Softwareentwicklung \|0 (DE-588)4116522-6 \|D s
689	0	1	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|D s
689	0	2	\|a Ada \|0 (DE-588)4000430-2 \|D s
689	0	3	\|a Eingebettetes System \|0 (DE-588)4396978-1 \|D s
689	0	4	\|a Echtzeitsystem \|0 (DE-588)4131397-5 \|D s
689	0		\|8 1\p \|5 DE-604
700	1		\|a Keller, Hubert B. \|e Sonstige \|4 oth
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe \|z 978-3-642-38601-5
830		0	\|a Lecture notes in computer science \|v 7896 \|w (DE-604)BV000000607 \|9 7896
856	4		\|q text/html \|u http://deposit.dnb.de/cgi-bin/dokserv?id=4314581&prov=M&dok_var=1&dok_ext=htm \|3 Inhaltstext
856	4	2	\|m DNB Datenaustausch \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026079500&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
883	1		\|8 1\p \|a cgwrk \|d 20201028 \|q DE-101 \|u https://d-nb.info/provenance/plan#cgwrk
943	1		\|a oai:aleph.bib-bvb.de:BVB01-026079500

Datensatz im Suchindex

_version_	1820875463413727232
adam_text	TABLE OF CONTENTS SESSION: MULTICORE AND DISTRIBUTED SYSTEMS EXPERIENCE WITH THE INTEGRATION OF DISTRIBUTION MIDDLEWARE INTO PARTITIONED SYSTEMS 1 HECTOR PEREZ AND J. JAVIER GUTIERREZ TASKLETTES - A FINE GRAINED PARALLELISM FOR ADA ON MULTICORES 17 STEPHEN MICHELL, BRAD MOORE, AND LUIS MIGUEL PINHO MODEL-BASED DEPLOYMENT OF MISSION-CRITICAL SPACECRAFT APPLICATIONS ON MULTICORE PROCESSORS 35 J. REINIER VAN KAMPENHOUT AND ROBERT HILBRICH SESSION: ADA AND SPARK A SPARK/ADA CUBESAT CONTROL PROGRAM 51 CARL BRANDON AND PETER CHAPIN LADY ADA MEDIATES PEACE TREATY IN ENDIANNESS WAR 65 THOMAS QUINOT AND ERIC BOTCAZOU SESSION: DEPENDABILITY PROVABLY SECURE DNS: A CASE STUDY IN RELIABLE SOFTWARE 81 BARRY FAGIN AND MARTIN CARLISLE USING ONTOLOGIES IN THE INTEGRATION OF STRUCTURAL, FUNCTIONAL, AND PROCESS PERSPECTIVES IN THE DEVELOPMENT OF SAFETY CRITICAL SYSTEMS . 95 IRENE BICCHIERAI, GIACOMO BUCCI, CARLO NOCENTINI, AND ENRICO VICARIO MEASURING THE ODDS OF STATEMENTS BEING FAULTY 109 XIAOZHEN XUE AND AKBAR SIAMI NAMIN SESSION: REAL-TIME SYSTEMS A MODEL-BASED FRAMEWORK FOR DEVELOPING REAL-TIME SAFETY ADA SYSTEMS 127 EMILIO SALAZAR, ALEJANDRO ALONSO, MIGUEL A. DE MIGUEL, AND JUAN A. DE LA PUENTE TOWARDS A TIME-COMPOSABLE OPERATING SYSTEM 143 ANDREA BALDOVIN, ENRICO MEZZETTI, AND TULLIO VARDANEGA HTTP://D-NB.INFO/1034226762 XII TABLE OF CONTENTS WORST-CASE EXECUTION TIME ANALYSIS APPROACH FOR SAFETY-CRITICAL AIRBORNE SOFTWARE 161 ESTEBAN ASENSIO, ISMAEL LAFOZ, ANDREW COOMBES, AND JULIAN NAVAS AUTHOR INDEX 177
any_adam_object	1
author_corporate	International Conference on Reliable Software Technologies Berlin
author_corporate_role	aut
author_facet	International Conference on Reliable Software Technologies Berlin
author_sort	International Conference on Reliable Software Technologies Berlin
building	Verbundindex
bvnumber	BV041103143
classification_rvk	SS 4800
classification_tum	DAT 263f DAT 343f DAT 356f
ctrlnum	(OCoLC)852532402 (DE-599)DNB1034226762
dewey-full	005.133
dewey-hundreds	000 - Computer science, information, general works
dewey-ones	005 - Computer programming, programs, data, security
dewey-raw	005.133
dewey-search	005.133
dewey-sort	15.133
dewey-tens	000 - Computer science, information, general works
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV041103143</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20140212</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">130624s2013 xx ad\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">13N19</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1034226762</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642386008</subfield><subfield code="c">: Pb. : ca. EUR 49.22 (DE)</subfield><subfield code="9">3-642-38600-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642386008</subfield><subfield code="c">: Pb. : ca. EUR 49.22 (DE)</subfield><subfield code="9">978-3-642-38600-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)852532402</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1034226762</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 263f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 343f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 356f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Conference on Reliable Software Technologies</subfield><subfield code="n">18</subfield><subfield code="d">2013</subfield><subfield code="c">Berlin</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1036373746</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Reliable software technologies - Ada-Europe 2013</subfield><subfield code="b">18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings</subfield><subfield code="c">Hubert B. Keller ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2013</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XII, 176 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield><subfield code="c">235 mm x 155 mm, 299 g</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">Lecture notes in computer science</subfield><subfield code="v">7896</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2013</subfield><subfield code="z">Berlin</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Softwareentwicklung</subfield><subfield code="0">(DE-588)4116522-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Ada</subfield><subfield code="0">(DE-588)4000430-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">Echtzeitsystem</subfield><subfield code="0">(DE-588)4131397-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Keller, Hubert B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-38601-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">7896</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7896</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4314581&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026079500&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-026079500</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2013 Berlin gnd-content
genre_facet	Konferenzschrift 2013 Berlin
id	DE-604.BV041103143
illustrated	Illustrated
indexdate	2025-01-10T15:16:02Z
institution	BVB
institution_GND	(DE-588)1036373746
isbn	3642386008 9783642386008
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-026079500
oclc_num	852532402
open_access_boolean
owner	DE-83 DE-11 DE-91G DE-BY-TUM
owner_facet	DE-83 DE-11 DE-91G DE-BY-TUM
physical	XII, 176 S. Ill., graph. Darst. 235 mm x 155 mm, 299 g
publishDate	2013
publishDateSearch	2013
publishDateSort	2013
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	International Conference on Reliable Software Technologies 18 2013 Berlin Verfasser (DE-588)1036373746 aut Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Hubert B. Keller ... (eds.) Berlin [u.a.] Springer 2013 XII, 176 S. Ill., graph. Darst. 235 mm x 155 mm, 299 g txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 7896 Echtzeitsystem (DE-588)4131397-5 gnd rswk-swf Softwareentwicklung (DE-588)4116522-6 gnd rswk-swf Ada (DE-588)4000430-2 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Eingebettetes System (DE-588)4396978-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2013 Berlin gnd-content Softwareentwicklung (DE-588)4116522-6 s Zuverlässigkeit (DE-588)4059245-5 s Ada (DE-588)4000430-2 s Eingebettetes System (DE-588)4396978-1 s Echtzeitsystem (DE-588)4131397-5 s 1\p DE-604 Keller, Hubert B. Sonstige oth Erscheint auch als Online-Ausgabe 978-3-642-38601-5 Lecture notes in computer science 7896 (DE-604)BV000000607 7896 text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4314581&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026079500&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk
spellingShingle	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Lecture notes in computer science Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Eingebettetes System (DE-588)4396978-1 gnd
subject_GND	(DE-588)4131397-5 (DE-588)4116522-6 (DE-588)4000430-2 (DE-588)4059245-5 (DE-588)4396978-1 (DE-588)1071861417
title	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings
title_auth	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings
title_exact_search	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings
title_full	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Hubert B. Keller ... (eds.)
title_fullStr	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Hubert B. Keller ... (eds.)
title_full_unstemmed	Reliable software technologies - Ada-Europe 2013 18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings Hubert B. Keller ... (eds.)
title_short	Reliable software technologies - Ada-Europe 2013
title_sort	reliable software technologies ada europe 2013 18th ada europe international conference on reliable software technologies berlin germany june 10 14 2013 proceedings
title_sub	18th Ada-Europe International Conference on Reliable Software Technologies, Berlin, Germany, June 10 - 14, 2013 ; proceedings
topic	Echtzeitsystem (DE-588)4131397-5 gnd Softwareentwicklung (DE-588)4116522-6 gnd Ada (DE-588)4000430-2 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Eingebettetes System (DE-588)4396978-1 gnd
topic_facet	Echtzeitsystem Softwareentwicklung Ada Zuverlässigkeit Eingebettetes System Konferenzschrift 2013 Berlin
url	http://deposit.dnb.de/cgi-bin/dokserv?id=4314581&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=026079500&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT internationalconferenceonreliablesoftwaretechnologiesberlin reliablesoftwaretechnologiesadaeurope201318thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesberlingermanyjune10142013proceedings AT kellerhubertb reliablesoftwaretechnologiesadaeurope201318thadaeuropeinternationalconferenceonreliablesoftwaretechnologiesberlingermanyjune10142013proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Beschreibung

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge