000			03519nam a22005895i 4500
001			vtls000560707
003			RU-ToGU
005			20210922090232.0
007			cr nn 008mamaa
008			170212s2015 gw | s |||| 0|eng d
020			_a9783319231297 _9978-3-319-23129-7
024	7		_a10.1007/978-3-319-23129-7 _2doi
035			_ato000560707
040			_aSpringer _cSpringer _dRU-ToGU
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
082	0	4	_a005.1 _223
245	1	0	_aSoftware Engineering for Resilient Systems _helectronic resource _b7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / _cedited by Alessandro Fantechi, Patrizio Pelliccione.
250			_a1st ed. 2015.
260			_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015.
300			_aIX, 145 p. 47 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v9274
505	0		_aBiological 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			_aThis 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	_aComputer Science. _9155490
650		0	_aComputer communication systems. _9460401
650		0	_aSoftware engineering. _9566225
650		0	_aProgramming languages (Electronic computers). _9459680
650		0	_aComputer logic. _9463252
650		0	_aManagement information systems. _9299049
650	1	4	_aComputer Science. _9155490
650	2	4	_aSoftware Engineering. _9566285
650	2	4	_aComputer Communication Networks. _9566243
650	2	4	_aInformation Systems Applications (incl. Internet). _9299051
650	2	4	_aProgramming Languages, Compilers, Interpreters. _9303287
650	2	4	_aLogics and Meanings of Programs. _9306257
650	2	4	_aManagement of Computing and Information Systems. _9303227
700	1		_aFantechi, Alessandro. _eeditor. _9467563
700	1		_aPelliccione, Patrizio. _eeditor. _9467564
710	2		_aSpringerLink (Online service) _9143950
773	0		_tSpringer eBooks
830		0	_aLecture Notes in Computer Science, _9279505
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-319-23129-7
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c415238