Shengchao Qin – författare

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods. 

This book constitutes the proceedings of the 7th International Symposium on Dependable Software Engineering, SETTA 2021, held in Beijing, China, in November 2021.The 16 full papers in this volume were carefully reviewed and selected from 39 submissions, and are presented with 3 abstracts of keynote speeches. They deal with latest research results and ideas on bridging the gap between formal methods and software engineering.

This book constitutes the proceedings of the Third International Symposium on Unifying Theories of Programming (UTP 2010) held at East China Normal University,Shanghai,China,November15-16,2010inconjunctionwiththe12th International Conference on Formal Engineering Methods (ICFEM 2010). This symposium followed on the success of the ?rst one, held at Walworth Castle (Durham, UK) in 2006, and the second, held at Trinity College (Dublin, Ireland) in 2008. Based on the pioneering work of C.A.R. Hoare, He Jifeng, and others on unifying theories of programming, the aims of this symposium series are, as stated in UTP 2008, to continue to rea?rm the signi?cance of the ongoing UTP project, to encourage e?orts to advance it by providing a focus for the sharing of results by those already actively contributing, and to raise awareness of the bene?ts of such a unifying theoretical framework among the wider computer science and software engineering communities. TheprogramfortheUTP2010symposiumincludesoneinvitedtutorial,three invited talks, and 12 regular paper presentations. I would like to warmly thank ourinvitedspeakers,AnaCavalcanti,HeJifeng,Je?SandersandJimWoodcock, as well asall the authors,for their enthusiasticand engagedparticipation in this event.

This book constitutes the refereed proceedings of the 13th International Conference on Formal Engineering Methods, ICFEM 2011, held in Durham, UK, October 2011. The 40 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 103 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on formal models; model checking and probability; specification and development; security; formal verification; cyber physical systems; event-B; verification, analysis and testing; refinement; as well as theorem proving and rewriting.