Overview
- Covers the state of the art and research insights on
- engineering trustworthy software systems
- A detailed preface, introducing the chapters, is included in
- the front matter and is freely available for perusal on SpringerLink
- Original, readable and useful lecture notes written by leading experts
- Made for students, researchers and practitioners
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9506)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 papers)
-
Front Matter
-
Back Matter
Keywords
About this book
This volume contains the lecture notes of the five courses and one seminar given at the School on Engineering Trustworthy Software Systems (SETSS 2014), held in September 2014 at Southwest University in Chongqing, China.
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. The common themes of the courses include the design and use of theories, techniques and tools for software specification and modeling, analysis and verification. The courses cover sequential programming, component- and object software, hybrid systems and cyber-physical systems with challenges of termination, security, safety, security, fault-tolerance and real-time requirements. The techniques include model checking, correctness by construction through refinement and model transformations, synthesis and computer algebra.Editors and Affiliations
Bibliographic Information
Book Title: Engineering Trustworthy Software Systems
Book Subtitle: First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures
Editors: Zhiming Liu, Zili Zhang
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-29628-9
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2016
Softcover ISBN: 978-3-319-29627-2Published: 01 March 2016
eBook ISBN: 978-3-319-29628-9Published: 29 February 2016
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 325
Number of Illustrations: 141 illustrations in colour
Topics: Software Engineering, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Simulation and Modeling, Special Purpose and Application-Based Systems