TY - BOOK ID - 8577368 TI - Software Engineering for Resilient Systems : 5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings AU - Gorbenko, Anatoliy. AU - Romanovsky, Alexander. AU - Kharchenko, Vyacheslav. PY - 2013 SN - 3642408931 364240894X PB - Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, DB - UniCat KW - Engineering & Applied Sciences KW - Computer Science KW - Computer science. KW - Computer communication systems. KW - Software engineering. KW - Operating systems (Computers). KW - Computer logic. KW - Computer Science. KW - Software Engineering. KW - Computer Communication Networks. KW - Information Systems Applications (incl. Internet). KW - Operating Systems. KW - Logics and Meanings of Programs. KW - Software engineering KW - Computer software KW - Reliability. KW - Logic design. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Computer operating systems KW - Computers KW - Disk operating systems KW - Systems software KW - Computer software engineering KW - Engineering KW - Operating systems KW - Application software. KW - Computer science logic KW - Logic, Symbolic and mathematical KW - Application computer programs KW - Application computer software KW - Applications software KW - Apps (Computer software) KW - Communication systems, Computer KW - Computer communication systems KW - Data networks, Computer KW - ECNs (Electronic communication networks) KW - Electronic communication networks KW - Networks, Computer KW - Teleprocessing networks KW - Data transmission systems KW - Digital communications KW - Electronic systems KW - Information networks KW - Telecommunication KW - Cyberinfrastructure KW - Electronic data processing KW - Network computers KW - Distributed processing UR - https://www.unicat.be/uniCat?func=search&query=sysid:8577368 AB - This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis. ER -