Vice Dean in the College of Computer Science & Information Technology

Head of Software Engineering Department

Guangxi Normal University

No.15 Yu Cai Road, Guilin

Guxngxi 541004

P. R. China

Email:zhili1888@163.com zhili@gxnu.edu.cn

Short Bio: Dr./Prof. Zhi Li is a distinguished member of China Computer Federation (CCF), standing committee member of its Technical Council on Software Engineering (TCSE), and a member of its Technical Council on Formal Methods. He graduated with a BSc degree from Fudan University in 1991, an MSc degree from the University of York in 2004, and a PhD degree from The Open University in 2008. Prof. Li had spent over 10 years doing professional and technical work before he entered academia in 2001, with subsequent 9 years in the UK. His research interests are Problem-oriented Urban Requirements Engineering (PURE), modelling, verifying, testing and validating Cyber-Physical Systems (CPSs) based on Problem Frames, and Human-Computer Interaction. His research has been sponsored by 2 grants from the National Natural Science Foundation of China, and 4 grants from Ministry of Education of China, Guangxi Natural Science Foundation, and Guangxi Scientific Research & Technological Development. He has published over 20 research papers (including 2 best papers and 1 best demo paper). He has given 4 invited talks on software engineering topics, and obtained 8 software copyrights for Computer-Aided Requirements Engineering (CARE) tools.

Reviewer for the following journal：

1.IEEE Transactions on Software Engineering

3.International Journal on Software Engineering and Knowledge Engineering

Academic Conference Chairs：

1. Vice PC Chair, the 13^th National Software Application Conference(NASAC2014)
2. Local Organisation Chair, the 10^th International Conference on Advanced Data Ming and Application(ADMA2014)
3. Publication Chair, the 5^th Asia-Pacific Conference on Computer Aided System Engineering(APCASE2017)
4. Industry Chair, the 24^th China Conference on Information Retrieval(CCIR2018)
5. General Chair, the 13^th International Symposium on Theoretical Aspects of Software Engineering(TASE2019)

PC member of the following conference：

1. The 12^th, 13^th, 14^th and 15^th National Software Application Conferences(NASAC2013-2016)

2. The 25^th, 26^th, 27^th, 28^th, 29^th, 30^th International Conferences on Software Engineering and Knowledge Engineering(SEKE2013-2018)

3. International Workshop on  Evolving Critical Software Systems(IWECS 2011), December 6-7, 2011, Shanghai, China

4. 13^th International Symposium on Theoretical Aspects of Software Engineering(TASE2019)

Invited Presentations：

1. Problem-Oriented Software Safety and Reliability Requirements, China RE Industry Summit, co-located with the 24^th IEEE International Requirements Engineering Conference，sponsored by ACM SIGSOFT-CSOFT，CCF-TCSE(Techncal Council on Software Engineering), CCF-TCSS(Technical Council on Systems Software), co-sponsored by IREB(International Requirements Engineering Board), organised by Key Lab of High Confidence Software Technologies (PKU), Ministry of Education, imbus China, September 18, 2016.

2. Problem-Oriented Urban Requirements Engineering on Big Data Analytics(in Chinese), the 16^th National Software Application Conference(NASAC2017), Conference Number:CCF-17-TC20-01N, sponsored by CCF, co-organised by CCF-TCSE, CCF-TCSS and Harbin Institute of Technology, Harbin, China, November 3, 2017.

3. PURE: Problem-oriented Urban Requirements Engineering for Big Data Analytics, the 24^th International DMS Conference on Visualization and Visual Languages(DMSVIVA2018), June 30, 2018, Redwood City, San Francisco Bay, California, USA.

4. How can academics improve students' practical skills and capabilities in software development with the help of industries?(in Chinese) invited talk and panel discussion，Workshop on teaching practices in software engineering - capabilities for solving complex engineering problems，Changshan, Hunan, China, June 16, 2018.

Principal Investigator of the following Research Projects:

1.“Modelling and Verification of Cyber-Physical Systems Based on Problem Frames”(Grant No.61862009), funded by the National Natural Science Foundation of China;

2."Transformation and Validation of Requirements and Domain Models Based on Problem Frames Approach"(Grant No.61262004), funded by the National Natural Science Foundation of China;

3."Deriving Specifications from Requirements Based on Problem Frames"(Grant No.[2013]639), Scientific Research Foundation for the Returned Overseas Chinese Scholars, Ministry of Education of China;

4."Transfomation and Verification of Problem Frames Based on Domain Knowledge"(Grant No.2012GXNSFCA053010),funded by the Natural Science Foundation of Guangxi Province;

5."Problem-Oriented Verification of Software Reliability and Safety", Scientific Research and Technological Development, funded by the Finance Department of Guangxi Province, Contract Number:Gui-Ke-He1347004-22.

6."Deriving Specifications from Requirements Based on Problem Frames", Key Lab of High Confidence and Trustworthy Software (Peking University) ,(Grant No.HCST201102), funded by Ministry of Education of China;

7."Improving Student’s Practical Capability in Software Engineering Based on Wechat Mini-programs", (Grant Number: 201801002044),  funded by the Tencent Corporation;

8."Teaching Software Engineering Courses to MSc Students in Bilingual Languages"(Grant NO.JGY2013022),Special Funds for Education Reform and Development of Postgraduate Research Students, funded by Guangxi Department of Education;

9."Teaching Software Testing Using MOOC", Special Funds for Education Reform and Development of Postgraduate Research Students (Grant No.XJGY201809),funded by Guangxi Normal University;

10."Advanced Software Engineering(MSc course)",funded by Guangxi Normal University;

11."Software Engineering(undergraduate course)",funded by Guangxi Normal University;

Software Copyrights：

1. Problem-Oriented Computer-Aided Software Requirements Engineering Tool (Copyright No.2014SR098001)

2. A Software Requirements Elicitation System based on Causal Relationships among domains (Copyright No.2015SR209845)

3. A Problem-Oriented Visual Transformation System for Modelling and Verifying Software Safety and Reliability (Copyright No.2015SR209865)

4. A Requirements Pattern Matching System based on Problem Frames (Copyright No.2016SR314622)

5. July Collaborative Modelling Software for Problem Frames (Copyright No.2016SR372824)

6. An Elicitation and Analysis Systems of Causal Relationships in Problem Contexts: an iOS App (No.2017SR495804)

7. A Problem-Oriented Requirements Change Management System (Copyright No.2018SR116019)

8. A System for Quantitatively Evaluating Correlation Relationships among Requirements based on Problem Frames (Copyright No.2018SR099684)

Recent papers:

1. Changlan Fu, He Zhang, Xin Huang, Xin Zhou, and Zhi Li. A Review of Meta-ethnographies in Software Engineering. In Proceedings of the 23rd edition of Evaluation and Assessment in Software Engineering(EASE'19), pages 68-77, Copenhagen, Denmark, April 15–17, 2019, doi:10.1145/3319008.3319015.

2. Changlan Fu, Xiao Zhang, Zhi Li, Ziyan Zhao, Chao Wang and Yuekun Yu. On the Problem-Oriented Verification of Cyber-Physical Systems Using System-Level Test Sequences.In Proceedings of the 24th International DMS Conference on Visualization and Visual Languages (DMSVIVA2018), pages 125-131, Redwood City, San Francisco Bay, USA, June 29-30, 2018, doi:10.18293/DMSVIVA2018-021.

3. Zhi Li. PURE: Problem-oriented Urban Requirements Engineering for Big Data Analytics, invited talk.In Proceedings of the 24th International DMS Conference on Visualization and Visual Languages (DMSVIVA2018), Redwood City, San Francisco Bay, USA, June 29-30, 2018, doi:10.18293/DMSVIVA2018-027.

4. Ziyan Zhao, Zhi Li, Changlan Fu, and Xiao Zhang. A Computer-aided Modeling and Verification Approach for Problem-oriented Software Development. Z.Chaczko, F.Pichler, F.Jiang and C.Chiu (Eds.):In Proceedings of 5th Asia-Pacific Conference on Computer Aided System Engineering(APCASE2017), pages 21-28, Guilin, Guangxi, China, November 2017. Best Paper Award Winner in APCASE2017! 

Selected papers: 

1. Zhi Li,Jon G. Hall and Lucia Rapanotti. On the systematic transformation of requirements to specifications. Requirements Engineering, volume 19 issue 4 pages 397-419, Springer London, first published online (June16, 2013), in print (November 2014),  doi:10.1007/s00766-013-0173-8.

2. Zhi Li and Zhi Jin. From User Requirements to Software Specifications: An Approach Based on Problem Transformation. Journal of Software (in Chinese), volume 24 issue 5, pages 961-976, May 2013, doi:10.3724/SP.J.1001.2013.04371.

3. Bin Yin, Zhi Jin and Zhi Li, Reliability Concerns in the Problem Frames Approach and System Reliability Enhancement Patterns, Chinese Journal of Computers (in Chinese), volume 36 number 1, pages 74-87, January 2013, doi:10.3724/SP.J.1016.2013.00074.

4. Lucia Rapanotti, Jon G. Hall and Zhi Li. Deriving specifications from requirements through problem reduction, Journal of IEE Proceedings - Software, volume 153, issue 5, pages 183-198, IET Press, October 2006, doi:10.1049/ip-sen:20060011.

5. Ning Gao, Zhi Li, Generating Testing Codes for Behavior-Driven Development from Problem Diagrams: A Tool-Based Approach, 2016 IEEE 24th International Requirements Engineering Conference (RE2016), pages 399-400, Beijing, China, September 2016, doi:10.1109/RE.2016.54.

6. Zhuoqun Yang, Zhi Li, Zhi Jin and Yunchuan Chen. A Systematic Literature Review of Requirements Modeling and Analysis for Self-Adaptive Systems. C.Salinesi and I.van de Weerd (Eds.): 20th International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2014), LNCS, volume 8396, pp.55-71, Springer, Essen, Germany, April 2014, doi:10.1007/978-3-319-05843-6_5. This paper has been selected as the only Best Paper Award Winner in REFSQ 2014! See here for details. 

7. Guoyuan Liu，Zhi Li, Shilang Huang, Zhaofeng Ouyang and Zhe Liu. CARE: A Computer-Aided Requirements Engineering Tool for Problem-Oriented Software Development, International Journal of Software Engineering and Knowledge Engineering, volume 25, issues 09n10, pages 1747-1752, December 2015，doi:10.1142/S0218194015710114.

8. Guoyuan Liu, Zhi Li and Zhaofeng Ouyang. CARE: A Computer-Aided Requirements Engineering Tool for Problem-Oriented Software Development, In proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering (SEKE2015), pages 727-729, Pittsburgh, USA, July 2015.This paper has been selected as the only Best Demo Paper Award Winner in SEKE2015! 

9. Barbara Kitchenham, Pearl Brereton, Zhi Li, David Budgen and Andrew Burn, Repeatability of Systematic Literature Reviews, 15th International Conference on Evaluation and Assessment in Software Engineering (EASE’11), pages 46-55, Durham, UK, April 2011, doi:10.1049/ic.2011.0006. 

10. Barbara Kitchenham, Andrew Burn and Zhi Li. A Quality Checklist for Technology-Centred Testing Studies, 13th International Conference on Evaluation and Assessment in Software Engineering (EASE’09), Durham, UK, April 2009.

11. Zhi Li, Progressing problems from requirements to specifications in problem frames, IWAAPF’08, pages 53-59, 30th International Conference on Software Engineering (ICSE'08), ACM Press, Leipzig, Germany, May 2008, doi：10.1145/1370811.1370823. 

12. Zhi Li, Jon G. Hall and Lucia Rapanotti, From requirements to specifications: a formal approach, IWAAPF’06, pages 65-70, 28th International Conference on Software Engineering (ICSE'06), ACM Press, Shanghai, China, May 2006.

13. Zhi Li, Lu Chen, System-Level Testing of Cyber-Physical Systems Based on Problem Concerns, 3rd International Workshop on Evidential Assessment of Software Technologies, co-located with ICSSP 2014, pages 60-62, Nanjing， China，May 2014，doi:10.1145/2627508.2627511.

14. Zhi Li, Jon G. Hall and Lucia Rapanotti, On the construction of specifications from requirements, 14th Workshop on Requirements Engineering (WER2011), pages 431-442, Rio de Janeiro, Brazil, April 2011 (DBLP link).

15. Barbara Kitchenham, Zhi Li and Andrew Burn. Validating search processes in systematic literature reviews, Proceedings of the 1st International Workshop on Evidential Assessment of Software Technologies, pages 3-9. Beijing, China, June 2011 (DBLP Link).

16. Zhi Li, Jon G. Hall and Lucia Rapanotti, Reasoning about decomposing and recomposing Problem Frames developments: a case study, IWAAPF’04, pages 49-53, 26th International Conference on Software Engineering (ICSE'04), IEEE CS Press, Edinburgh, UK, May 2004.

18. Zhi Li. Progressing Problems from requirements to Specifications in Problem Frames. PhD thesis (archived by the British Library, see here), Department of Computing, The Open University, Milton Keynes, Buckinghamshire, UK, January, 2008.