Software Engineering for Resilient Systems : Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings / edited by Elena A. Troubitsyna.

Format:

Book

Contributor:

Troubitsyna, Elena A., editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Programming and software engineering ; SL 2, 6968.

Programming and Software Engineering ; 6968

Language:

English

Subjects (All):

Computer networks.

Computer programming.

Software engineering.

Pollution prevention.

Computer Communication Networks.

Programming Techniques.

Software Engineering.

Industrial Pollution Prevention.

Local Subjects:

Computer Communication Networks.

Programming Techniques.

Software Engineering.

Industrial Pollution Prevention.

Physical Description:

1 online resource (X, 165 pages) : 68 illustrations, 48 illustrations in color.

Edition:

First edition 2011.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

System Details:

text file PDF

Summary:

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.

Other Format:

Printed edition:

ISBN:

978-3-642-24124-6

9783642241246

Access Restriction:

Restricted for use by site license.