000 | 03655nam a22006255i 4500 | ||
---|---|---|---|
001 | 978-3-319-23129-7 | ||
003 | DE-He213 | ||
005 | 20240730203211.0 | ||
007 | cr nn 008mamaa | ||
008 | 150827s2015 sz | s |||| 0|eng d | ||
020 |
_a9783319231297 _9978-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 _2thema |
|
082 | 0 | 4 |
_a005.1 _223 |
245 | 1 | 0 |
_aSoftware Engineering for Resilient Systems _h[electronic resource] : _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 |
_aIX, 145 p. 47 illus. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aProgramming and Software Engineering, _x2945-9168 ; _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. _94138 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aApplication software. _9174910 |
|
650 | 0 |
_aCompilers (Computer programs). _93350 |
|
650 | 0 |
_aComputer science. _99832 |
|
650 | 0 |
_aElectronic data processing _xManagement. _9174911 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Communication Networks. _9174912 |
650 | 2 | 4 |
_aComputer and Information Systems Applications. _9174913 |
650 | 2 | 4 |
_aCompilers and Interpreters. _931853 |
650 | 2 | 4 |
_aComputer Science Logic and Foundations of Programming. _942203 |
650 | 2 | 4 |
_aIT Operations. _931703 |
700 | 1 |
_aFantechi, Alessandro. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9174914 |
|
700 | 1 |
_aPelliccione, Patrizio. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9174915 |
|
710 | 2 |
_aSpringerLink (Online service) _9174916 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783319231280 |
776 | 0 | 8 |
_iPrinted edition: _z9783319231303 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v9274 _9174917 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-319-23129-7 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c97389 _d97389 |