000 | 02602nam a22005535i 4500 | ||
---|---|---|---|
001 | 978-3-642-33176-3 | ||
003 | DE-He213 | ||
005 | 20240730192357.0 | ||
007 | cr nn 008mamaa | ||
008 | 120912s2012 gw | s |||| 0|eng d | ||
020 |
_a9783642331763 _9978-3-642-33176-3 |
||
024 | 7 |
_a10.1007/978-3-642-33176-3 _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] : _bFourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings / _cedited by Paris Avgeriou. |
250 | _a1st ed. 2012. | ||
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2012. |
|
300 |
_aX, 181 p. 64 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 ; _v7527 |
|
520 | _aThis book constitutes the refereed proceedings of the Fourth International Workshop on Software Engineering for Resilient Systems, SERENE 2012, held in Pisa, Italy, in September 2012. The 12 revised full papers were carefully reviewed and selected from numerous submissions. The papers address all aspects of fault tolerance and exception handling, safety modeling, supporting evolution, resilience in service-oriented computing, and applying formal methods in case studies. | ||
650 | 0 |
_aSoftware engineering. _94138 |
|
650 | 0 |
_aComputer networks . _931572 |
|
650 | 0 |
_aApplication software. _9149751 |
|
650 | 0 |
_aOperating systems (Computers). _95329 |
|
650 | 1 | 4 |
_aSoftware Engineering. _94138 |
650 | 2 | 4 |
_aComputer Communication Networks. _9149752 |
650 | 2 | 4 |
_aComputer and Information Systems Applications. _9149753 |
650 | 2 | 4 |
_aOperating Systems. _937074 |
700 | 1 |
_aAvgeriou, Paris. _eeditor. _4edt _4http://id.loc.gov/vocabulary/relators/edt _9149754 |
|
710 | 2 |
_aSpringerLink (Online service) _9149755 |
|
773 | 0 | _tSpringer Nature eBook | |
776 | 0 | 8 |
_iPrinted edition: _z9783642331756 |
776 | 0 | 8 |
_iPrinted edition: _z9783642331770 |
830 | 0 |
_aProgramming and Software Engineering, _x2945-9168 ; _v7527 _9149756 |
|
856 | 4 | 0 | _uhttps://doi.org/10.1007/978-3-642-33176-3 |
912 | _aZDB-2-SCS | ||
912 | _aZDB-2-SXCS | ||
912 | _aZDB-2-LNC | ||
942 | _cELN | ||
999 |
_c94224 _d94224 |