English

单位: 广西师范大学

学院: 计算机科学与信息工程学院

职务:副院长、 软件工程系主任

地址:广西桂林市育才路15号

邮编:541004

邮箱:zhili18888@163.com

邮箱:zhili@gxnu.edu.cn


 

个人简介: 李智,博士/教授,博士生导师, 中国计算机学会 (CCF) 杰出会员(17369D) ,担任该学会软件工程专业委员会常务委员、系统软件专业委员会委员、形式化方法专业委员会委员。电气和电子工程师协会(IEEE)高级会员(95087776),美国计算机学会(ACM)高级会员(5077176)。复旦大学理学学士,英国约克大学计算机科学系理学硕士,英国开放大学计算机科学博士(软件工程与设计团队,中科院院士梅宏教授、美国工程院院士Barry Boehm教授等软件工程领域著名学者做该团队顾问,点击左下角的Advisors链接),英国基尔大学软件工程专业博士后(软件工程研究团队,2014年ACM SIGSOFT Impact Paper Award-最有影响论文获得者Barbara A. Kitchenham教授领导该团队),在英国留学时间长达9年。在进入学术研究领域之前曾经有10年以上从事专业技术工作,主要研究兴趣包括面向问题的城市大数据需求工程、基于问题框架的信息物理融合系统建模与验证、数据驱动的软件工程和人机交互等。获得国家自然科学基金项目2项、省部级项目4项,发表学术论文40余篇(SCI、EI论文20篇,含CCF推荐A类期刊论文3篇,其它CCF推荐期刊和会议论文16篇,其中3次获得国际学术会议最佳论文奖),做会议邀请报告4次,申请并获得软件著作权9项及授权专利1项。获得并主持教育部产学合作协同育人项目(腾讯资助)1项、地厅级教改项目1项、校级教改项目4项、获得校级教学成果一等奖1项,培养的硕士研究生有5人继续在南京大学、北京航天航空大学、天津大学、武汉大学和湖南大学攻读博士学位。


个人荣誉:
2020年荣获广西师范大学“独秀学者”。

 

学术期刊审稿人:

1.IEEE Transactions on Software Engineering (CCF认定为软件工程A类国际期刊)

2.软件学报

3.International Journal on Software Engineering and Knowledge Engineering

 

学术会议主席

1. 第十三届全国软件与应用会议(NASAC2014)程序委员会副主席

2. 第十届国际高级数据挖掘与应用会议(ADMA2014)当地组织主席

3. 第五届计算机辅助系统工程亚太会议(APCASE2017)出版主席

4. 第二十四届全国信息检索学术会议(CCIR2018)产业论坛主席

5. 第十三届国际软件工程理论研讨会(TASE2019)大会主席

6. 第二十五届国际软件工程评估与评价会议(EASE2021)宣传主席

 

学术会议程序委员会成员:

 

1.第十二、十三、十四、十五届全国软件与学术会议(NASAC2013-2016)

2.25th,26th,27th,28th,29th,30th International Conference on Software Engineering and Knowledge Engineering (SEKE2013-2018,中国计算机学会推荐软件工程C类会议).

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

4.13th,14th International Symposium on Theoretical Aspects of Software Engineering (TASE2019,TASE2020中国计算机学会推荐软件工程C类会议)

5. 第二十六届全国信息检索学术会议(The 26th China Conference on Information Retrieval, CCIR 2020).

6. 2020 CCF中国软件大会程序委员会成员,NASAC2020全国软件与应用学术会议“人工智能背景下的需求工程”Track主席.

 

会议邀请报告:

1. 李智,面向问题的软件安全性及可靠性需求,邀请报告,中国需求工程研究和产业峰会,与第24届国际需求工程大会(CCF推荐软件工程领域B类会议)同地举行,主办方:ACM-CSOFT,CCF-TCSE(中国计算机学会软件工程专委会),CCF-TCSS(中国计算机学会系统软件专委会),协办方:IREB(国际需求工程委员会),承办方:北京大学高可信软件技术教育部重点实验室,上海滔瑞信息技术有限公司,时间:2016年09月18日.

2. 李智,俞一峻,面向问题的城市大数据需求工程,邀请报告第十六届全国软件与应用学术会议(NASAC2017),会议编号:CCF-17-TC20-01N,由中国计算机学会主办,系统软件专委、软件工程专委和哈尔滨工业大学承办,2017年11月3日.

3. 李智,教育界如何借助工业界的力量来加强软件工程人才的培养,邀请报告及专家小组讨论(Panel Discussion),软件工程实践教学研讨会-复杂工程能力培养,湖南省长沙市湖南大学国家超算长沙中心,2018年06月16日.

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

5. 李智, AI4RE+RE4AI(2019iSQE峰会需求工程分论坛圆桌讨论) ,圆桌论坛嘉宾, 第十届中国国际软件质量工程(iSQE)峰会需求工程分论坛, 江苏省南京市国际博览中心,2019年7月20日.

6. 李智, 软件需求工程需要面临的三种挑战, 邀请报告、圆桌论坛 嘉宾及 视频访谈 ,第十一届中国国际软件质量工程(2020iSQE)峰会需求工程分论坛,重庆市,2020年10月23日.

7. 李智, 如何上好软件工程课程:从知识体系到教学方法 第五届软件工程实践教学研讨会 ,圆桌论坛,陕西省西安市,2020年12月12日.

8. 李智,AI背景下的计算机学科建设与发展,2021智能信息处理与网络工程大会暨计算机先进技术及学科建设高端论坛,广西桂林市,2021年6月5日.

 

主持或参与的科研和教改项目、获得奖项:

1.主持国家自然科学基金项目“基于问题框架的信息物理融合系统建模与验证研究”(项目编号: 61862009);

2.主持国家自然科学基金项目“基于问题框架的需求和领域模型的变换及验证”(项目编号:61262004);

3.主持国家教育部“留学回国人员科研启动基金”项目(下文编号:教外司留[2013]693号);

4.主持广西自然科学基金项目”面向问题的信息物理融合系统建模与验证研究”(项目编号: 2018GXNSFAA281314);

5.主持广西自然科学基金项目(回国基金)“基于领域知识的问题框架变换及验证的研究”(项目编号: 2012GXNSFCA053010);

6.主持广西科学研究与技术开发计划项目“面向问题的软件可靠性和安全性的验证的研究”(合同编号: 桂科合1347004-22);

7.主持高可信软件技术教育部重点实验室(北京大学)开放课题(项目编号: HCST201102);

8.主持教育部产学合作协同育人项目(腾讯资助)基于微信小程序的软件工程实践能力培养(第4页倒数第2行)”(项目编号: 201801002044);

9.主持广西师范大学2020年研究生全英文教学课程建设项目“Advanced Topics on Software Engineering(高级软件工程)”;

10.主持广西学位与研究生教育改革和发展专项课题研究项目“高校软件工程专业硕士研究生课程双语教学的探索与研究”(地厅级,项目编号: JGY2013022);

11.主持广西学位与研究生教育改革和发展专项课题研究项目“软件测试课程慕课教学模式的研究与探讨”(校级,项目编号: XJGY201809);

12.主持《高级软件工程》研究生课程建设项目(校级);

13.主持《软件工程》双语课程教改项目(校级);

14.参与(排名第10)国家高技术研究发展计划(863计划)课题“多源异构数据集成与挖掘的关键技术研究”(课题编号: 2012AA1005);

15.参与(博士后)英国工程与自然科学理事会(EPSRC)项目“Evidence-Based Practices Informing Computing”(编号: EP/E046983/1);

16.参与(排名第2)国家自然科学基金面上项目“分布式环境多样性数据共享的隐私模型及其保护技术研究”(项目编号:61272535);

17. 参与国家自然科学基金项目“智能机器人自主知识与自主行动推理研究”(项目编号: 61262005);

18.参与(排名第3)广西创新研究团队项目“Web信息集成管理与知识发现”(张师超教授主持,项目金额200万元),已结题;

19.参与(排名第8)广西创新研究团队项目“分子固体新材料的可控制备与性能研究”(曾明华教授主持,项目金额200万元),已结题;

20.参与(排名第3)国家教育部《电子商务》双语教学示范课程建设项目(刘海燕教授主持),已结题

21.获得广西师范大学第七届教学成果一等奖(排名第3),获奖成果名称是”民族地区高校信息管理与信息系统专业双语系列课程教学改革研究与实践”(第4页,序号12);

22.获得广西师范大学第九届教学成果奖一等奖(排名第7),获奖成果名称是“地方高校计算机科学与技术优势特色专业建设的改革与实践”(2019年); 


专利和软件著作权:


  1. 李智,刘国源,面向问题的计算机辅助软件需求工程工具软件(2014SR098001),已经转让给企业;

  2. 李智,欧阳兆丰,一种基于领域因果关系知识的软件需求捕获系统(2015SR209845);

  3. 李智,何正海,面向问题领域安全性建模及其可视化验证及变换系统(2015SR209865);

  4. 张平,李智,一种基于问题框架的软件需求模式匹配系统(2016SR314622);

  5. 张晓,李智,李伟东,July 问题框架协同建模软件(2016SR372824);

  6. 赵子岩,李智,iOS软件开发问题上下文中问题框架因果关系捕获及分析系统(2017SR495804;

  7. 禹月琨,李智,林亚娜,面向问题的需求变更管理系统(2018SR116019);

  8. 王超,李智,张平,基于问题框架的需求关联的定量评估系统(2018SR099684);

  9. 李智,周泽成,肖宏彬,面向问题的基于情景的需求生成系统(2021SR0320312);

  10. 满婷婷,潘姿颖,蒋海燕,李志欣,李智,医途医学影像系统(2019SR1414222);

 

代表性论文: 

 

1. 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.

李智,金芝.从用户需求到软件规约:一种问题变换的方法.软件学报,第24卷第5期,第961-976页,2013年5月(中国计算机学会CCF推荐A类中文期刊,EI收录,国内软件领域权威期刊, 收录号: 20132416422503).

2. 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.

李智,约翰.霍尔,卢西亚.拉帕诺蒂.如何系统地将需求变换为软件规约的研究.需求工程(期刊),第19卷第4期,第397-419页,2013年6月16日在线发表,2014年11月出版印刷(SCI+EI收录,中国计算机学会CCF认定为软件工程领域B类期刊, EI收录号: 20143600057817,SCI收录号: WOS:000343825300005). )

3. 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! 

刘国源,李智(通讯作者),欧阳兆丰.面向问题的软件开发计算机辅助需求工具. 第27届国际软件工程及知识工程会议(SEKE2015)会议论文集,第727-729页,美国匹兹堡,2015年7月SEKE2015会议唯一最佳演示论文奖(EI收录,中国计算机学会CCF推荐软件工程领域C类会议, 收录号: 20162202436858). 

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!

赵子岩,李智(通讯作者),付昌兰,张晓.一种面向问题软件开发计算机辅助建模及验证方法.第5届计算机辅助系统工程亚太会议(APCASE2017)会议论文集,第21-28页,中国广西桂林,2017年12月.获得APCASE2017会议最佳论文奖

5. Bing Li, Zhi Li and Yilong Yang. Residual attention graph convolutional network for web services classification. Neurocomputing, 440(2021): 45-57, in print on 14 June 2021 (available online on 13 February 2021). doi:10.1016/j.neucom.2021.01.089. pdf

李冰,李智(通讯作者),杨溢龙. 网络服务分类的残差注意力图卷积网络.神经计算(期刊),第440卷2021期45-57页,2021年2月13日在线发表,2021年6月14日见刊。(SCI+EI收录,中国科学院二区中国计算机学会CCF推荐人工智能领域C类国际期刊, EI收录号:20210910003627, SCI收录号:WOS:000642408200002,ISSN:0925-2312,eISSN:1872-8286)

6. Zhuoqun Yang, Zhi LiZhi 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. 

杨卓群,李智(通讯作者),金芝等.自适应系统需求建模与分析系统化文献调研. 第20届国际需求工程:软件质量基础工作会议(REFSQ2014), LNCS, 第8396卷,第55-71页,Springer, 德国埃森,2014年4月. 该论文被评为REFSQ2014会议唯一最佳论文奖,详见这里(EI收录,中国计算机学会CCF推荐软件工程领域C类会议,收录号: 20142017723356).

7. 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.

尹斌,金芝,李智.问题框架方法的可靠性关注点及系统可靠性增强模式.计算机学报,第36卷第1期第74-87页,2013年1月(EI收录,国内计算机领域权威期刊, 收录号: 20131016077729).

8. 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.

刘国源,李智,黄世朗,欧阳兆丰,刘喆.面向问题的软件开发计算机辅助需求工具,国际软件工程及知识工程期刊,第25卷第9和10期,第1747-1752页,2015年12月(SCI+EI收录,中国计算机学会CCF推荐软件工程领域C类期刊, EI收录号: 20161302152246,SCI收录号: WOS:000372155400025)

9. Ning Gao, Zhi LiGenerating 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.

高宁,李智(通讯作者),从问题图生成行为驱动开发所需要的测试代码及工具支持,2016年第24届IEEE国际需求工程会议,第399-400页,中国北京,2016年9月(EI收录,中国计算机学会CCF推荐软件工程领域B类会议, 收录号: 20165203191005).

10. Lucia Rapanotti, Jon G. Hall and Zhi LiDeriving 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.

卢西亚.拉帕诺蒂,约翰.霍尔,李智.通过问题消减的方法从需求导出规约.IEE软件汇刊,第153卷第5期,第183-198页,IET出版社,2006年10月(SCI+EI收录,现在改名为IET Software,中国计算机学会CCF认定为软件工程领域B类期刊, EI收录号: 20064610233628).


已发表论文:

1.Weidong Li, Rong Peng, Zhi Li. Knowledge Graph Completion by Jointly Learning Structural Features and Soft Logical Rules. IEEE Transactions on Knowledge and Data Engineering, vol. x, no. x, pp. x-xx,(Early Access)  https://doi.org/10.1109/TKDE.2021.3108224  

李伟东, 彭蓉,李智. 联合软逻辑规则和结构特征的知识图谱补全方法研究. IEEE知识与数据工程汇刊(即将发表),第x期,第x卷,第x-xx页。(SCI+EI收录,中国计算机学会CCF-A类国际期刊,SCI收录号:,EI收录号: ).

2.Shangfeng Wei, Zhi Li, Yilong Yang, Hongbin Xiao. Zoom4PF: A Tool for Refining Static and Dynamic Domain Descriptions in Problem Frames. In Proceedings of 2021 IEEE 29th International Requirements Engineering Conference (RE'21), pages 414-415, September 20-24, 2021, Notre Dame, IN, United States.  

韦尚锋, 李智(通讯作者),杨溢龙,肖宏彬. Zoom4PF-一种精化问题框架中领域静态和动态描述的工具. 第29届IEEE国际需求工程会议(RE'21),第414-415页,2021年9月20-24日,美国印第安纳州圣母大学,国际电器与工程师协会。(EI收录,中国计算机学会CCF推荐软件工程领域B类会议,收录号: ).

3. Hongbin Xiao, Zhi Li, Yilong Yang, Shangfeng Wei. An Extended Meta-Model of Problem Frames for Enriching Environmental Descriptions. In Proceedings 2021 IEEE 29th IEEE International Requirements Engineering Conference Workshops (REW'21), pages 428-434, September 20-24, 2021, Notre Dame, IN, United States.  

肖宏彬, 李智(通讯作者),杨溢龙,韦尚锋. 一种支持信息物理融合系统推理的问题框架扩展的元模型. 第29届IEEE国际需求工程会议研讨会(REW'21),第428-434页,2021年9月20-24日,美国印第安纳州圣母大学,国际电器与工程师协会。(EI收录,中国计算机学会CCF推荐软件工程领域B类会议,收录号: ).

4. Bing Li, Zhi Li, Yilong Yang. NFRNet: A Deep Neural Network for Automatic Classification of Non-Functional Requirements. In Proceedings of 2021 IEEE 29th International Requirements Engineering Conference (RE'21), pages 434-435, September 20-24, 2021, Notre Dame, IN, United States.  

李冰, 李智(通讯作者),杨溢龙. NFRNet:一种对非功能需求自动分类的深度神经网络. 第29届IEEE国际需求工程会议(RE'21),第434-435页,2021年9月20-24日,美国印第安纳州圣母大学,国际电器与工程师协会。(EI收录,中国计算机学会CCF推荐软件工程领域B类会议,收录号: ).

5. Waqas Junaid, Zhi Li. Evaluating the Effectiveness of Problem Frames for Contextual Modeling of Cyber-Physical Systems: a Tool Suite with Adaptive User Interfaces. In Evaluation and Assessment in Software Engineering (EASE 2021), pages 284-287, June 21-23, 2021, Trondheim, Norway. ACM, New York, NY, USA. https://doi.org/10.1145/3463274.3463344

瓦克斯·居奈德(李阳), 李智(通讯作者). 用问题框架为信息物理系统上下文建模有效性评估:自适应用户界面工具集. 软件工程评估与评价会议,第284-287页,2021年6月21-23日,挪威特隆赫姆市,美国计算机学会,美国纽约州纽约市。(EI收录,中国计算机学会CCF推荐软件工程领域C类会议,收录号: 20212710580316)

6. Lin Liu, Zhi Li. Requirements Engineering Under the Background of Artificial Intelligence Preface. Journal of Computer Research and Development, 2021, 58(4): 681-682. https://doi.org/10.7544/issn1000-1239.2021.qy0401

刘璘, 李智. 人工智能背景下的需求工程专题前言. 计算机研究与发展, 2021, 第58卷4期681-682页。(中国计算机学会CCF推荐A类中文期刊,北大中文核心期刊)

7. Bing Li, Zhi Li and Yilong Yang. Residual attention graph convolutional network for web services classification. Neurocomputing, 440(2021): 45-57, in print on 14 June 2021 (available online on 13 February 2021). https://doi.org/10.1016/j.neucom.2021.01.089

李冰,李智(通讯作者),杨溢龙(通讯作者). 网络服务分类的残差注意力图卷积网络.神经计算(期刊),第440卷2021期45-57页,2021年2月13日在线发表,2021年6月14日见刊(SCI+EI收录,中国科学院二区中国计算机学会CCF推荐人工智能领域C类国际期刊, EI收录号:20210910003627,SCI收录号:WOS:000642408200002,ISSN:0925-2312,eISSN:1872-8286)

8. Zhi Li, Jie Deng, Yi-long Yang, Shang-feng Wei. Transformational Approach from Problem Models of Cyber-Physical Systems to Use Case Diagrams in UML (in Chinese). Computer Science, 2020, 47(12): 65-72. https://doi.org/10.11896/jsjkx.201200044

李智, 邓杰, 杨溢龙, 韦尚锋. 从信息物理融合系统问题模型到UML用例图的变换方法.计算机科学,2020, 47(12): 65-72. (中国计算机学会CCF推荐B类中文期刊,北大中文核心期刊)

9. Yilong Yang, Nafees Qamar, Peng Liu, Katarina Grolinger, Weiru Wang, Zhi Li, Zhifang Liao. ServeNet: A Deep Neural Network for Web Services Classification. pages 168-175, IEEE 12th International Conferences on Web Services (ICWS2020), Beijing, China, October 19-23,2020, https://doi.org/10.1109/ICWS49710.2020.00029.

杨溢龙,纳费斯·卡马尔,刘鹏卡塔琳娜·格罗林格,王伟茹,李智廖志芳.服务网:网络服务分类的深度神经网络.第12届国际网络服务会议(ICWS2020)会议论文集, 第168-175页,中国北京,2020年10月19-23日(EI收录,中国计算机学会CCF推荐软件工程领域B类会议,收录号: 20210309778960)

10. Yilong Yang, Xiaoshan Li, Zhi Li.Rapid Prototyping for Requirements Validation: A Best-Practice with RM2PT. 28th IEEE International Requirements Engineering Conference (RE2020). Zurich, Switzerland, August 2020.

杨溢龙,李晓山,李智.需求确认快速原型法:使用RM2PT工具最佳实践.第28届国际需求工程会议(RE2020)会议,瑞士苏黎世,2020年8月31-9月4日.

11. Zhi Jin, Xiaohong Chen, Zhi Li, and Yijun Yu. RE4CPS: Requirements engineering for cyber-physical systems. In Proceedings of the 27th IEEE International Conference on Requirements Engineering (Vol. 2019-September, pp.496–497). IEEE Computer Society,Jeju Island, South Korea. https://doi.org/10.1109/RE.2019.00072

金芝,陈小红,李智,俞一峻.信息物理融合系统的需求工程(RE4CPS).第27届国际需求工程会议(RE2019)会议论文集,第496-497页,韩国济州岛,2019年9月23-27日(EI收录,中国计算机学会CCF推荐软件工程领域B类会议,收录号: 20195207928760)

 

12. Jiaye Li, Lin Wu, Guoqiu Wen, and Zhi Li. Exclusive feature selection and multi-view learning for Alzheimer's Disease, volume 64, Journal of Visual Communication and Image Representation, available online on 16 August 2019, https://doi.org/10.1016/j.jvcir.2019.102605

李佳烨,吴林,文国秋,李智.阿尔茨海默病(老年痴呆病)的特征选择及多视图学习算法.64卷,可视化通信与图像表示学报,2019年8月6日在线发表(SCI+EI收录,EI录号:20193407353962,SCI收录号:WOS:000492798600034)

 

13. 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(EASE2019), pages 68-77, Copenhagen, Denmark, April 15–17, 2019, https://doi.org/:10.1145/3319008.3319015.

付昌兰,张贺,黄鑫,周鑫,李智.软件工程中元民族志研究方法文献综述. 第23届软件工程评估与评价会议(EASE2019)会议论文集,第68-77页,丹麦哥本哈根市,2019年4月14-17日(EI收录,中国计算机学会CCF推荐软件工程领域C类会议,收录号: 20191806847812)

 

14. Xiao Zhang, Zhi Li, Zi-yan Zhao, Chang-lan Fu, Wei-dong Li, Yue-kun Yu, Chao Wang. Research and Implementation of Collaborated Modeling Approach for Problem-oriented Software Development (in Chinese). Computer Science, 2018, 45(9): 119-122, 134, https://doi.org/10.11896/j.issn.1002-137X.2018.09.018.

张晓, 李智(通讯作者), 赵子岩, 付昌兰, 李伟东, 禹月昆, 王超. 面向问题的软件开发协同建模工具的研究与实现. 计算机科学, 2018, 45(9): 119-122, 134.(中国计算机学会CCF推荐B类中文期刊,北大中文核心期刊)

 

15. 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, https://doi.org/10.18293/DMSVIVA2018-021.

付昌兰,张晓,李智(通讯作者),赵子岩,王超,禹月昆.应用系统级别测试序列来实现面向问题的信息物理融合系统验证. 第24届国际可视化及视觉语言分布式多媒体会议(DMSVIVA2018)会议论文集,第125-131页,美国旧金山湾红木市,2018年6月29-30日(EI收录,收录号: 20184806152577)

 

16. 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, (Invited Talk).

李智.面向问题的城市大数据分析需求工程.第24届国际可视化及视觉语言分布式多媒体会议(DMSVIVA2018)会议论文集,第viii页,美国旧金山湾红木市,2018年6月29-30日 (邀请报告).

 

17. 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!

赵子岩,李智(通讯作者),付昌兰,张晓.一种面向问题软件开发计算机辅助建模及验证方法.第5届计算机辅助系统工程亚太会议(APCASE2017)会议论文集,第21-28页,中国广西桂林,2017年12月.获得APCASE2017会议最佳论文奖


18. Zhe Liu and Zhi Li. Research and Development of Computer-aided Requirements Engineering Tool Based on Multi-modal Interaction Technologies (in Chinese). Computer Science, 2017, 44(4): 177-181.https://doi.org/10.11896/j.issn.1002-137X.2017.04.039.

刘喆(通讯作者),李智. 基于多通道交互技术的计算机辅助需求分析系统的研发. 计算机科学, 2017, 44(4): 177-181.(中国计算机学会CCF推荐B类中文期刊,北大中文核心期刊)

 

19. Ning Gao and Zhi Li. Research on Behavior-driven Development Based on Problem Frames (in Chinese). Computer Science, 2017, 44(11): 187-190. https://doi.org/10.11896/j.issn.1002-137X.2017.11.028.

高宁,李智(通讯作者). 基于问题框架的行为驱动开发研究. 计算机科学, 2017, 44(11): 187-190.(中国计算机学会CCF推荐B类中文期刊,北大中文核心期刊)

 

20. 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, https://doi.org/10.1109/RE.2016.54.

高宁,李智(通讯作者),从问题图生成行为驱动开发所需要的测试代码及工具支持,2016年第24届IEEE国际需求工程会议,第399-400页,中国北京,2016年9月(EI收录,中国计算机学会CCF推荐软件工程领域B类会议, 收录号: 20165203191005)

21. 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,https://doi.org/10.1142/S0218194015710114.

刘国源,李智,黄世朗,欧阳兆丰,刘喆.面向问题的软件开发计算机辅助需求工具,国际软件工程及知识工程期刊,第25卷第9和10期,第1747-1752页,2015年12月(SCI+EI收录,中国计算机学会CCF推荐软件工程领域C类期刊, EI收录号: 20161302152246,SCI收录号: WOS:000372155400025)

 

22. 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!

刘国源,李智(通讯作者),欧阳兆丰.面向问题的软件开发计算机辅助需求工具. 第27届国际软件工程及知识工程会议(SEKE2015)会议论文集,第727-729页,美国匹兹堡,2015年7月,SEKE2015会议唯一最佳演示论文奖(EI收录,中国计算机学会CCF推荐软件工程领域C类会议, 收录号: 20162202436858)

23. Zheng-hai He and Zhi Li. Research and Development of Computer-aided Requirements Analysis Tool Based on Human-computer Interaction (in Chinese). Computer Science, 2015, 42(12): 181-183, 194. https://doi.org/10.11896/j.issra1002-137X.2015.12.039.

何正海,李智. 基于人机交互的计算机辅助软件需求分析工具的研发. 计算机科学, 2015, 42(12): 181-183, 194.(中国计算机学会CCF推荐B类中文期刊,北大中文核心期刊)

 

24. Li-lu Zhu and Zhi Li. Formal Validation of Causal Behaviors of Problem Domains in Problem Frames Approach (in Chinese). Computer Science, 2015, 42(12): 136-142, 156. https://doi.org/1O.11896/j.issn.1002-137X.2015.12.030.

朱利鲁,李智. 问题框架中问题领域因果行为的形式化验证. 计算机科学, 2015, 42(12): 136-142, 156.(中国计算机学会CCF推荐B类中文期刊,北大中文核心期刊)

 

25. Guo-yuan Liu, Guang-hai Wan, Liu Pang and Zhi Li. Research and Development of Computer-aided Requirements Engineering Tool Based on Problem Frames (in Chinese). Computer Science, 2014, 41(11): 137-140,168. https://doi.org/10.11896/j.issn.1002-137X.2014.11.027.

刘国源,万光海,庞柳,李智(通讯作者). 基于问题框架的计算机辅助需求工程工具的研发. 计算机科学, 2014, 41(11): 137-140,168.(中国计算机学会CCF推荐B类中文期刊,北大中文核心期刊)

 

26. 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,https://doi.org/10.1145/2627508.2627511.

李智,陈璐,基于问题关注点的系统级别的测试,第三届基于证据的软件技术评价国际研讨会,第60-62页,2014年5月,中国南京(EI收录,与中国计算机学会CCF推荐软件工程领域C类会议ICSSP同地举行, 收录号: 20142817911966)

 

27. 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 (June 16,2013), in print (November 2014), https://doi.org/10.1007/s00766-013-0173-8.

李智,约翰.霍尔,卢西亚.拉帕诺蒂.如何系统地将需求变换为软件规约的研究.需求工程(期刊),第19卷第4期,第397-419页,2013年6月16日在线发表,2014年11月出版印刷(SCI+EI收录, 中国计算机学会CCF认定为软件工程领域B类期刊, EI录号: 20143600057817,SCI收录号: WOS:000343825300005)

 

28. 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, https://doi.org/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.

杨卓群,李智(通讯作者),金芝等.自适应系统需求建模与分析系统化文献调研. 第20届国际需求工程:软件质量基础工作会议(REFSQ2014), LNCS, 第8396卷,第55-71页,Springer, 德国埃森,2014年4月. 该论文被评为REFSQ2014会议唯一最佳论文奖,详见这里!(EI收录,中国计算机学会CCF推荐软件工程领域C类会议, 收录号: 20142017723356)

 

29. 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, https://doi.org/10.3724/SP.J.1001.2013.04371.

李智,金芝.从用户需求到软件规约:一种问题变换的方法.软件学报,第24卷第5期,第961-976页,2013年5月(中国计算机学会CCF推荐A类中文期刊,EI收录,国内软件领域权威期刊, 收录号: 20132416422503)

 

30. Zhi Li, Liu Pang, Guo-yuan Liu and Zhi-shang Yang, A Model-Driven Software Requirements Analysis Method and Its Technical Support, Journal of Guangxi Normal University:Natural Science Edition (in Chinese), Volume 31, Number 2, June 2013. https://doi.org/10.16088/j.issn.1001-6600.2013.02.003.

李智, 庞柳, 刘国源, 杨智尚. 一种模型驱动的软件需求分析方法及技术支持. 广西师范大学学报(自然科学版), 第31卷第2期第19-26页, 2013年6月(北大中文核心期刊)

 

31. 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, https://doi.org/10.3724/SP.J.1016.2013.00074.

尹斌,金芝,李智.问题框架方法的可靠性关注点及系统可靠性增强模式.计算机学报,第36卷第1期第74-87页,2013年1月(中国计算机学会CCF推荐A类中文期刊,EI收录,国内计算机领域权威期刊, 收录号: 20131016077729)

 

32. 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.https://doi.org/10.5220/0003557000030009.

芭芭拉.齐卿恩(音译),李智,安德鲁.贝恩(音译).验证系统化文献调研的搜索过程的研究.第1届基于证据的软件技术评估国际研讨会,论文集第3-9页,中国北京,2011年6月(EI收录,DBLP链接, 收录号: 20123415360246)

 

33. 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).

 

34. 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 (EASE2011), pages 46-55, Durham, UK, April 2011, https://doi.org/10.1049/ic.2011.0006.

芭芭拉.齐卿恩(音译),培尔.贝瑞顿(音译),李智等.系统化文献调研的可重复性.第15届国际软件工程评估与评价会议, 会议论文集第46-55页, 英国杜伦大学,2011年4月(EI收录,中国计算机学会CCF推荐软件工程领域C类会议, 收录号: 20115014589813)

 

35. Zhi Li,Towards Tool Support for Problem-Oriented Software Engineering using Knowledge-Based Techniques, IWAAPO, pages 42-44, 32th International Conference on  Software Engineering (ICSE2010), Cape Town, South Africa, May 2010.

李智.用基于知识的方法为面向问题的软件工程提供工具支持.第32届国际软件工程大会(ICSE2010)IWAAPO研讨会,论文集42-44页,南非开普敦,2010年5月(与中国计算机学会CCF推荐软件工程A类会议ICSE2010同地举行) 

 

36. Barbara Kitchenham, Andrew Burn and Zhi LiA Quality Checklist for Technology-Centred Testing Studies, 13th International Conference on Evaluation and Assessment in Software Engineering (EASE2009), Durham, UK, April 2009.https://doi.org/10.14236/ewic/ease2009.15.

芭芭拉.齐卿恩(音译), 安德鲁.贝恩(音译),李智.软件测试技术研究质量的清单检查表.第13届国际软件工程评估与评价会议,英国杜兰,2009年4月(EI收录,中国计算机学会CCF推荐软件工程领域C类会议, 收录号: 20192507082097)

 

37. Zhi LiProgressing problems from requirements to specifications in problem frames, IWAAPF2008, pages 53-59, 30th International Conference on Software Engineering (ICSE2008), ACM Press, Leipzig, Germany, May 2008, https://doi.org/10.1145/1370811.137082310.1145/1370811.1370823

李智.从需求到规约问题框架渐变的研究,第30届国际软件工程大会IWAAPF’08研讨会,论文集第53-59页,ACM出版社,德国莱比锡,2008年5月(EI收录,与中国计算机学会CCF推荐软件工程A类会议ICSE2008同地举行, 收录号: 20085011773533).

 

38. Zhi LiProgressing 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, https://10.21954/ou.ro.0000fa79.

李智.从需求到规约问题框架渐变的研究.博士论文(被大不列颠图书馆归档,电子版可在此下载-只能用于学术目的).开放大学计算机系,英国白金汉郡米尔顿.凯恩斯市.2008年1月.

 

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

卢西亚.拉帕诺蒂,约翰.霍尔,李智.通过问题消减的方法从需求导出规约.IEE软件汇刊,第153卷第5期,第183-198页,IET出版社,2006年10月(EI收录,现在改名为IET  Software, 中国计算机学会CCF认定为软件工程领域B类期刊, EI收录号: 20064610233628).

 

40. Zhi Li, Jon G. Hall and Lucia Rapanotti, From requirements to specifications: a formal approach, IWAAPF2006, pages 65-70, 28th International Conference on Software Engineering (ICSE2006), ACM Press, Shanghai, China, May 2006. https://doi.org/10.1145/1138670.1138681.

李智,约翰.霍尔,卢西亚.拉帕诺蒂.从需求到规约的一种形式化方法.第28届国际软件工程大会(ICSE2006)IWAAPF’06研讨会,论文集65-70页,ACM出版社,中国上海,2006年5月(EI收录,与中国计算机学会CCF推荐软件工程A类会议ICSE2006同地举行, 收录号: 20160201783561).

 

41. Lucia Rapanotti, Jon G. Hall and Zhi LiProblem reduction: a systematic technique for deriving specifications from requirements, Technical Report No.2006/02 (ISSN 1744-1986), Department of Computing, The Open University, February 2006.

约翰.霍尔,卢西亚.拉帕诺蒂,约翰.霍尔,李智.问题削减: 一种从需求导出(软件)规约的系统化技术.开放大学计算机系技术报告编号2006/02(国际标准刊号ISSN1744-1986),2006年2月. 

 

42. Zhi Li, Jon G. Hall and Lucia Rapanotti, A Constructive Approach to Problem Frame Semantics, Technical Report No.2004/26 (ISSN 1744-1986), Department of Computing, The Open University, December 2004.

李智,约翰.霍尔,卢西亚.拉帕诺蒂.一种问题框架语义的构建方法.开放大学计算机系技术报告编号2004/26(国际标准刊号ISSN1744-1986),2004年12月.

 

43. Zhi Li, Jon G. Hall and Lucia Rapanotti, Reasoning about decomposing and recomposing Problem Frames developments: a case study, IWAAPF2004, pages 49-53, 26th International Conference on Software Engineering (ICSE2004), IEEE CS Press, Edinburgh, UK, May 2004. https://doi.org/10.1049/ic:20040224.  

李智,约翰.霍尔,卢西亚.拉帕诺蒂.关于拆分和重组问题框架开发案例研究.第26届国际软件工程大会(ICSE2004)IWAAPF2004研讨会,论文集第49-53页,IEEE CS出版社,英国爱丁堡,2004年5月(与中国计算机学会CCF推荐软件工程A类会议ICSE2004同地举行).