國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Software engineering for resilient systems/ edited by Alessandro Fantechi, Patrizio Pelliccione.
其他題名:	7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
其他題名:	SERENE 2015
其他作者:	Fantechi, Alessandro.
團體作者:	Workshop on the Preservation of Stability under Discretization
出版者:	Cham :Springer International Publishing : : 2015.,
面頁冊數:	ix, 145 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
標題:	Software engineering - Congresses. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-23129-7
ISBN:	9783319231297

Software engineering for resilient systems = 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 ;6140..

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:

528500
Software engineering
--Congresses.

LC Class. No.: QA76.758

Dewey Class. No.: 005.1

Software engineering for resilient systems = 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015 : proceedings /
LDR:02292nam a2200337 a 4500 001 837172
003 DE-He213
005 20160317171831.0
006 m d
007 cr nn 008maaau
008 160421s2015 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 Workshop on the Preservation of Stability under Discretization $d (2001 : $c Fort Collins, Colo.) $3 527686
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 : $c 2015. $b Springer International Publishing : $b Imprint: Springer,
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 $v Congresses. $3 528500
650 0 $a Computer software $x Reliability $v Congresses. $3 574521 $3 727846
650 1 4 $a Computer Science. $3 593922
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Information Systems Applications (incl. Internet) $3 815116
650 2 4 $a Programming Languages, Compilers, Interpreters. $3 669782
650 2 4 $a Logics and Meanings of Programs. $3 670058
650 2 4 $a Management of Computing and Information Systems. $3 593928
700 1 $a Fantechi, Alessandro. $3 1067799
700 1 $a Pelliccione, Patrizio. $3 1067800
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Lecture notes in computer science ; $v 6140. $3 744199
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-23129-7
950 $a Computer Science (Springer-11645)