00000cmm a22000004i 4500 UP-99796217611173156 Buklod 20140407093716.0 m go j cr |n |||auu|a 110924s2011 xx u | eng d 9783642241246(eBook) (iLib)UPD-00214606503 DLC DML eng DMLUC QA76.9 F38 S46 2011eb Troubitsyna, Elena A. editor. Software Engineering for Resilient Systems [electronic resource] Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings Elena A. Troubitsyna, editor. Berlin, Heidelberg Springer Berlin Heidelberg 2011. 1 online resource (x, 165 p.) IP-based subscription, access limited to within on campus computer network. Access via Electronic resources of the UPD University Library Website. This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011. The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance. Electronic reproduction. New York SpringerLink 2011. Available via World Wide Web through Springerlink. Fault-tolerant computing Congresses. Fault tolerance (Engineering) Data processing Congresses. Software engineering Congresses. Electronic book. SpringerLink (Online service). Springer eBooks. Printed edition 9783642241239. Available for University of the Philippine Diliman via Springerlink. Click here to access http://link.springer.com/book/10.1007/978-3-642-24124-6 FO Monograph UPD DMLR Electronic Resource