Editors:
Fast track conference proceedings
Unique visibility
State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6968)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): SERENE: International Workshop on Software Engineering for Resilient Systems
Conference proceedings info: SERENE 2011.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsThis is a preview of subscription content, access via your institution.
Table of contents (15 papers)
-
Front Matter
-
Requirements Engineering and Product Lines
-
Invited Talk
-
Monitoring and Self-adaptation
-
Back Matter
About this book
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.
Keywords
- dependability
- embedded languages
- intrusion detection
- secure measurements
- software product lines
- industrial pollution prevention
Editors and Affiliations
-
Department of IT, Åbo Akademi University, Turku, Finland
Elena A. Troubitsyna
Bibliographic Information
Book Title: Software Engineering for Resilient Systems
Book Subtitle: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings
Editors: Elena A. Troubitsyna
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-24124-6
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011
Softcover ISBN: 978-3-642-24123-9Published: 19 September 2011
eBook ISBN: 978-3-642-24124-6Published: 25 September 2011
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 165
Number of Illustrations: 20 b/w illustrations, 48 illustrations in colour
Topics: Computer Communication Networks, Programming Techniques, Software Engineering, Pollution