Engineering trustworthy software systems Preface

The 2nd School on Engineering Trustworthy Software Systems (SETSS 2016) was held during March 28 { April 2, 2016, at Southwest University, Chongqing, China. It was aimed at PhD and Master students in particular, from around China, as well as being suitable for university researchers and industry software engineers. The first 50 participants accepted for the School received free places. This volume contains a record of some of the lectures and seminars delivered at the School. The School was held at the time when Southwest University was celebrating its 110th anniversary. It was organized by the School of Computer and Information Science at Southwest University, providing lectures on leading-edge research in methods and tools for use in computer system engineering. The School aimed to enable participants to learn about state-of-the-art software engineering methods and technology advances from experts in the field. An opening address was delivered by the Vice President of Southwest University, Prof. Yanqiang Cui, followed by an introduction to SETSS 2016 by Prof. Zhiming Liu. Sessions at the School were chaired by Professors Zili Zhang, Jonathan Bowen, Zhiming Liu, and Jim Woodcock. The following lectures courses (four 90-minute lecture sessions each) were delivered during the School: { Tao Xie: Parameterized Unit Testing: Theory and Practice { Michael Butler: Modelling and Verification in Event-B { Martin Leucker: Runtime Verification { Yifeng Chen: Parallel Programming Today { Jim Woodcock: Semantics of Reactive Systems { Alvaro Miyazawa: Java in the Safety-Critical Domain { A Refinement Approach In addition, there were two 120-minute evening seminars on related subject areas: { Jonathan Bowen: Alan Turing: Founder of Computer Science { Zhilin Wu: Formal Reasoning about Infinite Data Values: An Ongoing Quest These additional presentations complemented the longer lecture courses.