Zhi Li - Academia.edu (original) (raw)
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
less
Uploads
Papers by Zhi Li
IEE ProceedingsSoftware, 2006
In this paper we explore the notion of problem reduction as a systematic trans-formation from req... more In this paper we explore the notion of problem reduction as a systematic trans-formation from requirements to specifications. We adopt the notion of problem as a requirement in a real-world context for which a software solution is sought, and view the process of ...
Decision Support Systems, 2011
Proceedings of the 2006 international workshop on Advances and applications of problem frames - IWAAPF '06, 2006
Background: A recent set of guidelines for software engineering systematic literature reviews (SL... more Background: A recent set of guidelines for software engineering systematic literature reviews (SLRs) includes a list of quality criteria obtained from the literature. The guidelines suggest that the list can be used to construct a tailored set of questions to evaluate the quality of primary studies. Aim: This paper aims to evaluate whether the list of quality criteria help researchers
IEE ProceedingsSoftware, 2006
In this paper we explore the notion of problem reduction as a systematic trans-formation from req... more In this paper we explore the notion of problem reduction as a systematic trans-formation from requirements to specifications. We adopt the notion of problem as a requirement in a real-world context for which a software solution is sought, and view the process of ...
Decision Support Systems, 2011
Proceedings of the 2006 international workshop on Advances and applications of problem frames - IWAAPF '06, 2006
Background: A recent set of guidelines for software engineering systematic literature reviews (SL... more Background: A recent set of guidelines for software engineering systematic literature reviews (SLRs) includes a list of quality criteria obtained from the literature. The guidelines suggest that the list can be used to construct a tailored set of questions to evaluate the quality of primary studies. Aim: This paper aims to evaluate whether the list of quality criteria help researchers