LEADER 03193nam  22006735  450 
001 996465869403316
005 20200630031433.0
010   $a3-642-33176-9
024 7 $a10.1007/978-3-642-33176-3
035   $a(CKB)3400000000086230
035   $a(SSID)ssj0000767596
035   $a(PQKBManifestationID)11424067
035   $a(PQKBTitleCode)TC0000767596
035   $a(PQKBWorkID)10758151
035   $a(PQKB)10002941
035   $a(DE-He213)978-3-642-33176-3
035   $a(MiAaPQ)EBC3071006
035   $a(PPN)168323753
035   $a(EXLCZ)993400000000086230
100   $a20120912d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware Engineering for Resilient Systems$b[electronic resource] $eFourth International Workshop, SERENE 2012, Pisa, Italy, September 27-28, 2012, Proceedings /$fedited by Paris Avgeriou
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 181 p. 64 illus.) 
225 1 $aProgramming and Software Engineering ;$v7527
300   $aInternational conference proceedings.
311   $a3-642-33175-0 
320   $aIncludes bibliographical references and author index.
330   $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.
410  0$aProgramming and Software Engineering ;$v7527
606   $aSoftware engineering
606   $aComputer communication systems
606   $aApplication software
606   $aOperating systems (Computers)
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aComputer Communication Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/I13022
606   $aInformation Systems Applications (incl. Internet)$3https://scigraph.springernature.com/ontologies/product-market-codes/I18040
606   $aOperating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14045
608   $aConference proceedings.$2fast
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615  0$aApplication software.
615  0$aOperating systems (Computers).
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aOperating Systems.
676   $a005.1
702   $aAvgeriou$b Paris$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aSERENE (Workshop)
906   $aBOOK
912   $a996465869403316
996   $aSoftware Engineering for Resilient Systems$92532658
997   $aUNISA