LEADER 04692nam  22008535  450 
001 996200365703316
005 20200706040204.0
010   $a3-319-23129-4
024 7 $a10.1007/978-3-319-23129-7
035   $a(CKB)3890000000001369
035   $a(SSID)ssj0001558632
035   $a(PQKBManifestationID)16184134
035   $a(PQKBTitleCode)TC0001558632
035   $a(PQKBWorkID)14819585
035   $a(PQKB)11343286
035   $a(DE-He213)978-3-319-23129-7
035   $a(MiAaPQ)EBC6295029
035   $a(MiAaPQ)EBC5591086
035   $a(Au-PeEL)EBL5591086
035   $a(OCoLC)919733885
035   $a(PPN)188460705
035   $a(EXLCZ)993890000000001369
100   $a20150827d2015      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aSoftware Engineering for Resilient Systems$b[electronic resource] $e7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings /$fedited by Alessandro Fantechi, Patrizio Pelliccione
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (IX, 145 p. 47 illus.) 
225 1 $aProgramming and Software Engineering ;$v9274
300   $aIncludes index.
311   $a3-319-23128-6 
327   $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.
330   $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.
410  0$aProgramming and Software Engineering ;$v9274
606   $aSoftware engineering
606   $aComputer communication systems
606   $aApplication software
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aManagement information systems
606   $aComputer science
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   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aManagement of Computing and Information Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I24067
615  0$aSoftware engineering.
615  0$aComputer communication systems.
615  0$aApplication software.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615  0$aManagement information systems.
615  0$aComputer science.
615 14$aSoftware Engineering.
615 24$aComputer Communication Networks.
615 24$aInformation Systems Applications (incl. Internet).
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
615 24$aManagement of Computing and Information Systems.
676   $a005.1
702   $aFantechi$b Alessandro$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aPelliccione$b Patrizio$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996200365703316
996   $aSoftware Engineering for Resilient Systems$92532658
997   $aUNISA