欢迎访问李智教授的主页!

 
 


个人简介: 李智,博士,教授,硕士生导师,中国计算机学会(CCF)高级会员,担任该学会软件工程专业委员会委员。复旦大学理学学士,英国约克大学信息处理硕士 (见当地报纸上的学位公告),英国开放大学计算机科学博士(软件工程与设计团队),英国基尔大学软件工程专业博士后(软件工程研究团队)。主要研究兴趣包括软件需求工程、软件测试、经验软件工程和人机交互等。


学术期刊审稿人:


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

  2. 2.International Journal on Software Engineering and Knowledge Engineering


学术会议主席:


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

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


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


  1. 1.第十二届全国软件与学术会议(NASAC2013), 2013年11月8-10日,天津.

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

  3. 3.The 25th International Conference on Software Engineering and Knowledge Engineering (SEKE 2013), June 27-29, 2013, Boston, USA.

  4. 4.The 26th International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), July 1-3, 2014, Vancouver, Canada.


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


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

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

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

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

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

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

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

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

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

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

  11. 11.参与(排名第4)国家教育部《电子商务》双语教学示范课程建设项目;

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


最新论文:


  1. 1.Zhi Li and Lu Chen. System-Level Testing of Cyber-Physical Systems Based on Problem Concerns. (EAST2014), pages 60-62, International Conference on Software and System Processes (ICSSP2014), ACM Press, Nanjing, China, May 2014. doi:10.1145/2627508.2627511.                      李智,陈璐.基于问题关注点的物联网系统测试的研究.2014年国际软件与系统过程会议(ICSSP2014), EAST2014研讨会, 第60-62页, ACM出版社,中国南京, 2014年5月.


代表性论文:


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

    杨卓群,李智(通讯作者),金芝等.自适应系统需求建模与分析系统

    化文献调研. 第20届国际需求工程:软件质量基础工作会议

    (REFSQ2014), LNCS, 第8396卷,第55-71页,Springer, 德国埃森,2014年4 

    月. 该论文被评为REFSQ 2014会议唯一最佳论文奖,详见这里


  1. 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类国际期刊).


  1. 3.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月(EI源刊、国内核心期刊).


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

    卢西亚.拉帕诺蒂, 约翰.霍尔,李智.通过问题消减的方法从需求导出

    规约.IEE软件汇刊,第153卷第5期,第183-198页, IET出版社,2006年

    10月(SCI和EI收录,现在改名为IET Software, 中国计算机学会

    CCF认定为软件工程B类国际期刊).


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

    李智,约翰.霍尔,卢西亚.拉帕诺蒂.由需求构建(软件)规约的研究,第

    14届需求工程研讨会,会议论文集第431-442页,巴西里约热内卢,

    2011年4月(EI收录).


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

    李智, 庞柳, 刘国源, 杨智尚. 一种模型驱动的软件需求分析方法及技术

    支持. 广西师范大学学报(自然科学版), 第 31 卷第 2 期第

    19-26 页(国内核心期刊), 2013 年6月.


  1. 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收录).


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

    芭芭拉.齐卿恩(音译),李智,安德鲁.贝恩(音译).验证系统化文献调研

    的搜索过程的研究.第1届基于证据的软件技术评估国际研讨会,论文

    集3-9页,中国北京,2011年6月.


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

     芭芭拉.齐卿恩(音译),培尔.贝瑞顿(音译),李智.系统化文献调研的

     可重复性.第15届国际软件工程评估与评价会议, 会议论文集第

     46-55页, 英国杜伦大学,2011年4月(EI收录).


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

    芭芭拉.齐卿恩(音译), 安德鲁.贝恩(音译) ,李智.软件测试技术研究

    质量的清单检查表.第13届国际软件工程评估与评价会议,英国杜兰,

    2009年4月.


  1. 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, doi10.1145/1370811.1370823.

    李智.从需求到规约问题框架渐变的研究,第30届国际软件工程大会

    IWAAPF’08研讨会,论文集第53-59页,ACM出版社,德国莱比锡,

    2008年5月(EI收录).


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

    李智.用基于知识的方法为面向问题的软件工程提供工具支持.第32届

    国际软件工程大会(ICSE’10)IWAAPO研讨会,论文集42-44页,南非开普

    敦,2010年5月.


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

    李智,约翰.霍尔,卢西亚.拉帕诺蒂.从需求到规约的一种形式化方法.第

    28届国际软件工程大会(ICSE’06)IWAAPF’06研讨会,论文集65-70

    页,ACM出版社,中国上海,2006年5月.

   

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

    李智,约翰.霍尔,卢西亚.拉帕诺蒂.关于拆分和重组问题框架开发案例

    研究.第26届国际软件工程大会(ICSE’04)IWAAPF’04研讨会,论文集

    第49-53页,IEEE CS出版社,英国爱丁堡,2004年5月.


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


  1. 16.Lucia Rapanotti, Jon G. Hall and Zhi Li, Problem 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月.

  

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

    李智. 从需求到规约问题框架渐变的研究.博士论文(被大不列颠图书馆

    归档,电子版可在此下载-只能用于学术目的).开放大学计算机系,英国

    白金汉郡米尔顿.凯恩斯市.2008年1月.


   


 

教育背景:

工作经历:



单位:广西师范大学

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

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

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

邮编:541004