Verfügbarkeit: Architecting critical systems

Architecting critical systems: first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Giese, Holger 1970- (HerausgeberIn)
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin [u.a.] Springer 2010
Schriftenreihe:	Lecture notes in computer science 6150
Schlagworte:	Fehlertoleranz Softwarearchitektur Zuverlässigkeit Sicherheitskritisches System Konferenzschrift > 2010 > Prag
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	X, 192 S. graph. Darst.
ISBN:	9783642135552 3642135552

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV036513267
003	DE-604
005	20100803
007	t
008	100621s2010 d\|\|\| \|\|\|\| 10\|\|\| eng d
020			\|a 9783642135552 \|9 978-3-642-13555-2
020			\|a 3642135552 \|9 3-642-13555-2
035			\|a (OCoLC)699693662
035			\|a (DE-599)BVBBV036513267
040			\|a DE-604 \|b ger \|e rakwb
041	0		\|a eng
049			\|a DE-706 \|a DE-11 \|a DE-91G \|a DE-83
084			\|a SS 4800 \|0 (DE-625)143528: \|2 rvk
084			\|a DAT 325f \|2 stub
084			\|a DAT 343f \|2 stub
245	1	0	\|a Architecting critical systems \|b first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings \|c Holger Giese (ed.)
264		1	\|a Berlin [u.a.] \|b Springer \|c 2010
300			\|a X, 192 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Lecture notes in computer science \|v 6150
650	0	7	\|a Fehlertoleranz \|0 (DE-588)4123192-2 \|2 gnd \|9 rswk-swf
650	0	7	\|a Softwarearchitektur \|0 (DE-588)4121677-5 \|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 Sicherheitskritisches System \|0 (DE-588)4767762-4 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)1071861417 \|a Konferenzschrift \|y 2010 \|z Prag \|2 gnd-content
689	0	0	\|a Sicherheitskritisches System \|0 (DE-588)4767762-4 \|D s
689	0	1	\|a Fehlertoleranz \|0 (DE-588)4123192-2 \|D s
689	0	2	\|a Softwarearchitektur \|0 (DE-588)4121677-5 \|D s
689	0	3	\|a Zuverlässigkeit \|0 (DE-588)4059245-5 \|D s
689	0		\|5 DE-604
700	1		\|a Giese, Holger \|d 1970- \|0 (DE-588)173277950 \|4 edt
711	2		\|a ISARCS \|n 1 \|d 2010 \|c Prag \|j Sonstige \|0 (DE-588)16071322-5 \|4 oth
830		0	\|a Lecture notes in computer science \|v 6150 \|w (DE-604)BV000000607 \|9 6150
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=020435429&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-020435429

Datensatz im Suchindex

_version_	1804143082422140928
adam_text	TABLE OF CONTENTS DESIGN AN ARCHITECTURAL FRAMEWORK FOR ANALYZING TRADEOFFS BETWEEN SOFTWARE SECURITY AND PERFORMANCE 1 VITTORIO CORTELLESSA, CATTA TRUBIANI, LEONARDO MOSTARDA, AND NARANKER DULAY ARCHITECTURAL DESIGN DECISIONS FOR ACHIEVING RELIABLE SOFTWARE SYSTEMS 19 ATEF MOHAMED AND MOHAMMAD ZULKERNINE INTEGRATING FAULT-TOLERANT TECHNIQUES INTO THE DESIGN OF CRITICAL SYSTEMS 33 RICARDO J. RODRIGUEZ AND JOSE MERSEGUER COMPONENT BEHAVIOR SYNTHESIS FOR CRITICAL SYSTEMS 52 TOBIAS ECKARDT AND STEFAN HENKLER VERIFICATION AND VALIDATION A ROAD TO A FORMALLY VERIFIED GENERAL-PURPOSE OPERATING SYSTEM 72 MARTIN DECKY ENGINEERING A DISTRIBUTED E-VOTING SYSTEM ARCHITECTURE: MEETING CRITICAL REQUIREMENTS 89 J. PAUL GIBSON, ERIC LALLET, AND JEAN-LUC RAFFY TESTING FAULT ROBUSTNESS OF MODEL PREDICTIVE CONTROL ALGORITHMS 109 PIOTR GAWKOWSKI, KONRAD GROCHOWSKI, MACIEJ LAWRYNCZUK, PIOTR MARUSAK, JANUSZ SOSNOWSKI, AND PIOTR TATJEWSKI DOMAIN-SPECIFIC RESULTS TOWARDS NET-CENTRIC CYBER SURVIVABILITY FOR BALLISTIC MISSILE DEFENSE... 125 MICHAEL N. GAGNON, JOHN TRUELOVE, APU KAPADIA, JOSHUA HAINES, AND ORION HUANG A SAFETY CASE APPROACH TO ASSURING CONFIGURABLE ARCHITECTURES OF SAFETY-CRITICAL PRODUCT LINES 142 IBRAHIM BIBLIOGRAFISCHE INFORMATIONEN HTTP://D-NB.INFO/1002540755 DIGITALISIERT DURCH X TABLE OF CONTENTS STANDARDS ISO/DIS 26262 IN THE CONTEXT OF ELECTRIC AND ELECTRONIC ARCHITECTURE MODELING 179 MARTIN HILLENBRAND, MATTHIAS HEINZ, NICO ADLER, KLAUS D. MUELLER-GLASER, JOHANNES MATHEIS, AND CLEMENS REICHMANN AUTHOR INDEX 193
any_adam_object	1
author2	Giese, Holger 1970-
author2_role	edt
author2_variant	h g hg
author_GND	(DE-588)173277950
author_facet	Giese, Holger 1970-
building	Verbundindex
bvnumber	BV036513267
classification_rvk	SS 4800
classification_tum	DAT 325f DAT 343f
ctrlnum	(OCoLC)699693662 (DE-599)BVBBV036513267
discipline	Informatik
format	Conference Proceeding Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02066nam a2200469 cb4500</leader><controlfield tag="001">BV036513267</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100803 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">100621s2010 d\|\|\| \|\|\|\| 10\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642135552</subfield><subfield code="9">978-3-642-13555-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3642135552</subfield><subfield code="9">3-642-13555-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)699693662</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV036513267</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SS 4800</subfield><subfield code="0">(DE-625)143528:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 325f</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="245" ind1="1" ind2="0"><subfield code="a">Architecting critical systems</subfield><subfield code="b">first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings</subfield><subfield code="c">Holger Giese (ed.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 192 S.</subfield><subfield code="b">graph. Darst.</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">6150</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</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">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</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">2010</subfield><subfield code="z">Prag</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Sicherheitskritisches System</subfield><subfield code="0">(DE-588)4767762-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Fehlertoleranz</subfield><subfield code="0">(DE-588)4123192-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Softwarearchitektur</subfield><subfield code="0">(DE-588)4121677-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Giese, Holger</subfield><subfield code="d">1970-</subfield><subfield code="0">(DE-588)173277950</subfield><subfield code="4">edt</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">ISARCS</subfield><subfield code="n">1</subfield><subfield code="d">2010</subfield><subfield code="c">Prag</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)16071322-5</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">6150</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">6150</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=020435429&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-020435429</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 2010 Prag gnd-content
genre_facet	Konferenzschrift 2010 Prag
id	DE-604.BV036513267
illustrated	Illustrated
indexdate	2024-07-09T22:42:00Z
institution	BVB
institution_GND	(DE-588)16071322-5
isbn	9783642135552 3642135552
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-020435429
oclc_num	699693662
open_access_boolean
owner	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
owner_facet	DE-706 DE-11 DE-91G DE-BY-TUM DE-83
physical	X, 192 S. graph. Darst.
publishDate	2010
publishDateSearch	2010
publishDateSort	2010
publisher	Springer
record_format	marc
series	Lecture notes in computer science
series2	Lecture notes in computer science
spelling	Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings Holger Giese (ed.) Berlin [u.a.] Springer 2010 X, 192 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 6150 Fehlertoleranz (DE-588)4123192-2 gnd rswk-swf Softwarearchitektur (DE-588)4121677-5 gnd rswk-swf Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf Sicherheitskritisches System (DE-588)4767762-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2010 Prag gnd-content Sicherheitskritisches System (DE-588)4767762-4 s Fehlertoleranz (DE-588)4123192-2 s Softwarearchitektur (DE-588)4121677-5 s Zuverlässigkeit (DE-588)4059245-5 s DE-604 Giese, Holger 1970- (DE-588)173277950 edt ISARCS 1 2010 Prag Sonstige (DE-588)16071322-5 oth Lecture notes in computer science 6150 (DE-604)BV000000607 6150 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020435429&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings Lecture notes in computer science Fehlertoleranz (DE-588)4123192-2 gnd Softwarearchitektur (DE-588)4121677-5 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd
subject_GND	(DE-588)4123192-2 (DE-588)4121677-5 (DE-588)4059245-5 (DE-588)4767762-4 (DE-588)1071861417
title	Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings
title_auth	Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings
title_exact_search	Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings
title_full	Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings Holger Giese (ed.)
title_fullStr	Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings Holger Giese (ed.)
title_full_unstemmed	Architecting critical systems first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings Holger Giese (ed.)
title_short	Architecting critical systems
title_sort	architecting critical systems first international symposium isarcs 2010 prague czech republic june 23 25 2010 proceedings
title_sub	first international symposium, ISARCS 2010, Prague, Czech Republic, June 23-25, 2010 ; proceedings
topic	Fehlertoleranz (DE-588)4123192-2 gnd Softwarearchitektur (DE-588)4121677-5 gnd Zuverlässigkeit (DE-588)4059245-5 gnd Sicherheitskritisches System (DE-588)4767762-4 gnd
topic_facet	Fehlertoleranz Softwarearchitektur Zuverlässigkeit Sicherheitskritisches System Konferenzschrift 2010 Prag
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=020435429&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV000000607
work_keys_str_mv	AT gieseholger architectingcriticalsystemsfirstinternationalsymposiumisarcs2010pragueczechrepublicjune23252010proceedings AT isarcsprag architectingcriticalsystemsfirstinternationalsymposiumisarcs2010pragueczechrepublicjune23252010proceedings

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge