000			03617nam a22005295i 4500
003			DE-He213
005			20231104114443.0
007			cr nn 008mamaa
008			150827s2015 gw | s |||| 0|eng d
020			_a9783319231297 _z978-3-319-23129-7
024	7		_a10.1007/978-3-319-23129-7 _2doi
050		4	_aQA76.758
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema005.1 _223
245	1	0	_aSoftware Engineering for Resilient Systems : _b7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings / _cedited by Alessandro Fantechi, Patrizio Pelliccione.
250			_a1st ed. 2015.
264		1	_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2015.
300			_a1 online resource
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	0		_aProgramming and Software Engineering ; _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	_aSoftware engineering.
650		0	_aComputer Communication Networks.
650		0	_aComputer science.
650		0	_aLogic design.
650		0	_aInformation Systems.
650	1	4	_aSoftware Engineering. _0http://scigraph.springernature.com/things/product-market-codes/I14029
650	2	4	_aComputer Communication Networks. _0http://scigraph.springernature.com/things/product-market-codes/I13022
650	2	4	_aInformation Systems Applications (incl. Internet). _0http://scigraph.springernature.com/things/product-market-codes/I18040
650	2	4	_aProgramming Languages, Compilers, Interpreters. _0http://scigraph.springernature.com/things/product-market-codes/I14037
650	2	4	_aLogics and Meanings of Programs. _0http://scigraph.springernature.com/things/product-market-codes/I1603X
650	2	4	_aManagement of Computing and Information Systems. _0http://scigraph.springernature.com/things/product-market-codes/I24067
700	1		_aFantechi, Alessandro. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
700	1		_aPelliccione, Patrizio. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt
710	2		_aSpringerLink (Online service)
856	4	0	_uhttps://doi.org/10.1007/978-3-319-23129-7 _3Springer eBooks _zOnline access link to the resource
912			_aZDB-2-SCS
912			_aZDB-2-LNC
999			_c200434602 _d52814
942			_2lcc _cEBK
041			_aeng