Programming and Software Engineering

Formal Methods for Eternal Networked Software Systems

11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures

Editors: Bernardo, Marco, Issarny, Valerie (Eds.)

  • State-of-the-art presentation of the field of eternal networked software systems
  • Written by leading researchers in the field
  • Self-contained chapters on various subtopics of eternal networked software systems
see more benefits

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-21455-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-642-21454-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
About this Textbook

This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, held in Bertinoro, Italy, in June 2011. SFM 2011 was devoted to formal methods for eternal networked software systems and covered several topics including formal foundations for the inter-operability of software systems, application-layer and middleware-layer dynamic connector synthesis, interaction behavior monitoring and learning, and quality assurance of connected systems. The school was held in collaboration with the researchers of the EU-funded projects CONNECT and ETERNALS. The papers are organized into six parts: (i) architecture and interoperability, (ii) formal foundations for connectors, (iii) connector synthesis, (iv) learning and monitoring, (v) dependability assurance, and (vi) trustworthy eternal systems via evolving software.

Table of contents (15 chapters)

  • Interoperability in Complex Distributed Systems

    Blair, Gordon S. (et al.)

    Pages 1-26

  • The CONNECT Architecture

    Grace, Paul (et al.)

    Pages 27-52

  • Automated Verification Techniques for Probabilistic Systems

    Forejt, Vojtěch (et al.)

    Pages 53-113

  • Modeling and Verification of Components and Connectors

    Baier, Christel (et al.)

    Pages 114-147

  • Application-Layer Connector Synthesis

    Inverardi, Paola (et al.)

    Pages 148-190

Buy this book

eBook $79.99
price for USA (gross)
  • ISBN 978-3-642-21455-4
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $107.00
price for USA
  • ISBN 978-3-642-21454-7
  • Free shipping for individuals worldwide
  • Online orders shipping within 2-3 days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Methods for Eternal Networked Software Systems
Book Subtitle
11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011, Advanced Lectures
Editors
  • Marco Bernardo
  • Valerie Issarny
Series Title
Programming and Software Engineering
Series Volume
6659
Copyright
2011
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer Berlin Heidelberg
eBook ISBN
978-3-642-21455-4
DOI
10.1007/978-3-642-21455-4
Softcover ISBN
978-3-642-21454-7
Edition Number
1
Number of Pages
VIII, 527
Number of Illustrations and Tables
134 b/w illustrations, 46 illustrations in colour
Topics