02523nam 22005895 450 991048447010332120251226202431.03-319-12241-X10.1007/978-3-319-12241-0(CKB)3710000000269695(SSID)ssj0001372793(PQKBManifestationID)11895569(PQKBTitleCode)TC0001372793(PQKBWorkID)11314193(PQKB)10777889(DE-He213)978-3-319-12241-0(MiAaPQ)EBC6298064(MiAaPQ)EBC5578166(Au-PeEL)EBL5578166(OCoLC)893857749(PPN)182097838(EXLCZ)99371000000026969520141008d2014 u| 0engurnn|008mamaatxtccrSoftware Engineering for Resilient Systems 6th International Workshop, SERENE 2014, Budapest, Hungary, October 15-16, 2014. Proceedings /edited by István Majzik, Marco Vieira1st ed. 2014.Cham :Springer International Publishing :Imprint: Springer,2014.1 online resource (X, 185 p. 59 illus.) Programming and Software Engineering,2945-9168 ;8785Includes index.3-319-12240-1 Design of resilient systems -- Analysis of resilience -- Verification and validation -- Monitoring.This book constitutes the refereed proceedings of the 6th International Workshop on Software Engineering for Resilient Systems, SERENE 2014, held in Budapest, Hungary, in October 2014. The 11 revised technical papers presented together with one project paper and one invited talk were carefully reviewed and selected from 22 submissions. The papers are organized in topical sections on design of resilient systems; analysis of resilience; verification and validation; and monitoring.Programming and Software Engineering,2945-9168 ;8785Computer scienceComputer ScienceComputer science.Computer Science.005.1Majzik Istvánedthttp://id.loc.gov/vocabulary/relators/edtVieira Marcoedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910484470103321Software Engineering for Resilient Systems2532658UNINA