By Martin Fränzle,Deepak Kapur,Naijun Zhan
This booklet constitutes the refereed lawsuits of the second one overseas Symposium on responsible software program Engineering: Theories, instruments, and functions, SETTA 2016, held in Beijing, China, in November 2016.
The 17 complete papers awarded including three brief papers have been conscientiously reviewed and chosen from fifty eight submissions. The goal of the symposium is to assemble overseas researchers and practitioners within the box of software program know-how. Its concentration is on formal equipment and complex software program applied sciences, specifically for engineering complicated, large-scale artifacts like cyber-physical structures, networks of items, company structures, or cloud-based services.