Happy holidays from us to you—get up to $30 off your next print or eBook! Shop now >>

Programming and Software Engineering

Engineering Trustworthy Software Systems

Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

Editors: Bowen, Jonathan P., Liu, Zhiming, Zhang, Zili (Eds.)

  • Covers the state of the art of software engineering methods and technology

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-02928-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-02927-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This volume contains a record of some of the lectures and seminars delivered at the Third International School on Engineering Trustworthy Software Systems (SETSS 2017), held in April 2017 at Southwest University in Chongqing, China.

The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six original courses delivered at the school on topics such as: rely/guarantee thinking; Hoare-style specification and verification of object-oriented programs with JML; logic, specification, verification, and interactive proof; software model checking with Automizer; writing programs and proofs; engineering self-adaptive software-intensive systems; and with an additional contribution on the challenges for formal semantic description. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems. 

Table of contents (6 chapters)

  • A Guide to Rely/Guarantee Thinking

    Hayes, Ian J. (et al.)

    Pages 1-38

  • An Illustrated Guide to the Model Theory of Supertype Abstraction and Behavioral Subtyping

    Leavens, Gary T. (et al.)

    Pages 39-88

  • Formalizing Hoare Logic in PVS

    Shankar, Natarajan

    Pages 89-114

  • Modeling Concurrency in Dafny

    Leino, K. Rustan M.

    Pages 115-142

  • Software Is Not Soft

    Ma, Xiaoxing (et al.)

    Pages 143-175

Buy this book

eBook $54.99
price for USA in USD (gross)
  • ISBN 978-3-030-02928-9
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $69.99
price for USA in USD
  • ISBN 978-3-030-02927-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Engineering Trustworthy Software Systems
Book Subtitle
Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
Editors
  • Jonathan P. Bowen
  • Zhiming Liu
  • Zili Zhang
Series Title
Programming and Software Engineering
Series Volume
11174
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer Nature Switzerland AG
eBook ISBN
978-3-030-02928-9
DOI
10.1007/978-3-030-02928-9
Softcover ISBN
978-3-030-02927-2
Edition Number
1
Number of Pages
XVII, 219
Number of Illustrations
96 b/w illustrations, 31 illustrations in colour
Topics