大葉大學圖書館 |

Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	005.1
書名/作者:	Software engineering for resilient systems : 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings // edited by Alessandro Fantechi, Patrizio Pelliccione.
其他題名:	SERENE 2015
其他作者:	Fantechi, Alessandro.
團體作者:	Clark Conference
出版者:	Cham : : Springer International Publishing :, 2015.
面頁冊數:	ix, 145 p. : : ill., digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Software engineering
標題:	Computer software - Case studies. - Reliability
標題:	Computer Science.
標題:	Software Engineering.
標題:	Computer Communication Networks.
標題:	Information Systems Applications (incl. Internet)
標題:	Programming Languages, Compilers, Interpreters.
標題:	Logics and Meanings of Programs.
標題:	Management of Computing and Information Systems.
ISBN:	9783319231297
ISBN:	9783319231280
內容註:	Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice.
摘要、提要註:	This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
電子資源:	http://dx.doi.org/10.1007/978-3-319-23129-7

Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
Software engineering for resilient systems7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /[electronic resource] :SERENE 2015edited by Alessandro Fantechi, Patrizio Pelliccione. - Cham :Springer International Publishing :2015. - ix, 145 p. :ill., digital ;24 cm. - Lecture notes in computer science,92740302-9743 ;. - Lecture notes in computer science ;7103..

Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice.

This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.

ISBN: 9783319231297

Standard No.: 10.1007/978-3-319-23129-7doiSubjects--Topical Terms:

135422
Software engineering

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software engineering for resilient systems[electronic resource] :7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
LDR:02292nam a2200337 a 4500 001 443409
003 DE-He213
005 20160317171831.0
006 m d
007 cr nn 008maaau
008 160715s2015 gw s 0 eng d
020 $a 9783319231297 $q (electronic bk.)
020 $a 9783319231280 $q (paper)
024 7 $a 10.1007/978-3-319-23129-7 $2 doi
035 $a 978-3-319-23129-7
040 $a GP $c GP
041 0 $a eng
050 4 $a QA76.758
072 7 $a UMZ $2 bicssc
072 7 $a COM051230 $2 bisacsh
082 0 4 $a 005.1 $2 23
090 $a QA76.758 $b .S483 2015
111 2 $a Clark Conference $d (2005 : $c Sterling and Francine Clark Art Institute) $3 347558
245 1 0 $a Software engineering for resilient systems $h [electronic resource] : $b 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings / $c edited by Alessandro Fantechi, Patrizio Pelliccione.
246 3 $a SERENE 2015
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2015.
300 $a ix, 145 p. : $b ill., digital ; $c 24 cm.
490 1 $a Lecture notes in computer science, $x 0302-9743 ; $v 9274
505 0 $a Biological Immunity and Software Resilience: two faces of the same coin? -- Towards Dynamic Software Diversity for Resilient Redundant Embedded Systems: A decomposition method for the verification of a real-time safety-critical protocol -- Considering execution environment resilience: A white-box approach: Engineering Cross-Layer Fault Tolerance in Many-Core Systems -- Risk assessment based cloudification -- Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating System -- Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain -- Tejo: a supervised anomaly detection scheme for NewSQL databases -- Resiliency Variance in Workows with Choice.
520 $a This book constitutes the refereed proceedings of the 7th International Workshop on Software Engineering for Resilient Systems, SERENE 2015, held in Paris, France, in September 2015. The 10 revised technical papers presented were carefully reviewed and selected from 18 submissions. The papers are organized in topical sections on development of resilient systems, verification, validation and evaluation of resilience, case studies and applications.
650 0 $a Software engineering $3 135422
650 0 $a Computer software $x Reliability $v Case studies. $3 490524
650 1 4 $a Computer Science. $3 423143
650 2 4 $a Software Engineering. $3 464601
650 2 4 $a Computer Communication Networks. $3 464535
650 2 4 $a Information Systems Applications (incl. Internet) $3 463679
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 466913
650 2 4 $a Logics and Meanings of Programs. $3 466905
650 2 4 $a Management of Computing and Information Systems. $3 466225
700 1 $a Fantechi, Alessandro. $3 634015
700 1 $a Pelliccione, Patrizio. $3 634016
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 7103. $3 466200
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-23129-7
950 $a Computer Science (Springer-11645)