40% off Popular Science books & eBooks—Save on general interest titles now!

Programming and Software Engineering

Software Engineering for Resilient Systems

9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings

Editors: Romanovsky, Alexander, Troubitsyna, Elena A. (Eds.)

Free Preview

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-319-65948-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-65947-3
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
About this book

This book constitutes the refereed proceedings of the International Workshop on Software Engineering for Resilient Systems, SERENE 2017, held in Geneva; Switzerland, in September 2017. 
The 11 papers presented together with 2 invited talks were carefully reviewed and selected from 16 submissions. They cover the following areas: modeling and specification; safety and security; fault tolerance, resilience and robustness software.

Table of contents (12 chapters)

Table of contents (12 chapters)
  • Predictive Analytics: A Shortcut to Dependable Computing

    Pages 3-17

    Malek, Miroslaw

  • Modeling and Monitoring of Hierarchical State Machines in Scala

    Pages 21-36

    Havelund, Klaus (et al.)

  • Stochastic Activity Networks for the Verification of Knowledge Bases

    Pages 37-44

    Martin, Luke (et al.)

  • A Generated Property Specification Language for Resilient Multirobot Missions

    Pages 45-61

    Dragule, Swaib (et al.)

  • Towards a Model-Driven Security Assurance of Open Source Components

    Pages 65-80

    Rauf, Irum (et al.)

Buy this book

eBook $54.99
price for USA in USD
  • ISBN 978-3-319-65948-0
  • Digitally watermarked, DRM-free
  • Included format: PDF, EPUB
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-319-65947-3
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Software Engineering for Resilient Systems
Book Subtitle
9th International Workshop, SERENE 2017, Geneva, Switzerland, September 4–5, 2017, Proceedings
Editors
  • Alexander Romanovsky
  • Elena A. Troubitsyna
Series Title
Programming and Software Engineering
Series Volume
10479
Copyright
2017
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG
eBook ISBN
978-3-319-65948-0
DOI
10.1007/978-3-319-65948-0
Softcover ISBN
978-3-319-65947-3
Edition Number
1
Number of Pages
XIV, 201
Number of Illustrations
56 b/w illustrations
Topics