Engineering Trustworthy Software Systems Second International School Setss 20 - Springer Nature B.V

This Volume Contains A Record Of Some Of The Lectures And Seminars Deliverednbsp;at The Second International School On Engineering Trustworthy Software Systemsnbsp;(setss 2016), Held In Marchapril 2016 At Southwest University Innbsp;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 Courses And Two Seminars On Topics Such As: Modelling And Verification In Event-b; Parallel Programming Today; Runtime Verification; Java In The Safety-critical Domain; Semantics Of Reactive Systems; Parameterized Unit Testing; Formal Reasoning About Infinite Data Values; And Alan Turing And His Remarkable Achievements. The Material Is Useful For Postgraduate Students, Researchers, Academics, And Industrial Engineers, Who Are Interested In The Theory And Practicenbsp;of Methods And Tools For The Design And Programming Of Trustworthynbsp;software Systems.