Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bowen, Jonathan P. (Editor), Liu, Zhiming (Editor), Zhang, Zili (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Series: Lecture Notes in Computer Science, 10215
• Subjects: Computer science.; Computer system failures.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Computers.; Computer Science.; Software Engineering.; Programming Techniques.; Programming Languages, Compilers, Interpreters.; The Computing Profession.; Logics and Meanings of Programs.; System Performance and Evaluation.

This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China. The six contributions included in this volume provide an ove...

Table of Contents:

• Alan Turing: Founder of Computer Science
• UTP by Example: Designs
• Reasoned Modelling with Event-B
• Java in the Safety-Critical Domain
• Runtime Verification for Linear-Time Temporal Logic
• Formal Reasoning on Infinite Data Values: An Ongoing Quest.