Received: 21 October 2018
Accepted: 15 January 2019
First Online: 8 February 2019
: <b>Tao He</b> was born in Jingxi, Guangxi, P.R. China, in 1973. He graduated from Shanghai University and received the doctor of computer science in 2009. Now, He works in Shenzhen Institute of Information Technology. His research interests include software engineering and software formalization.
: The author declares that he has no competing interests.
: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.