智能化软件与软件控制论坛

---

智能化时代已经来临，软件正在定义和控制世界，软件本身的智能化，以及软件开发和质量保证技术的智能化控制刻不容缓。有软件定义实现的地方，一般都会有控制。软件控制论旨在探讨计算机软件领域与控制领域的交叉、跨学科研究，其核心科学问题是，如何建立软件行为的控制模型、设计方法和控制理论，以实施对它们的有效、定量化的控制。软件控制论通过将软件问题归结为控制问题，以及将控制问题归结为软件问题，研究这两个领域的互补和结合，从而达到分别发展这两个领域的作用。研究智能化时代的软件控制论对未来信息技术的科学与健康发展具有重要意义。Chinasoft 2021智能化软件与软件控制论论坛主要包括但不仅局限于以下内容：

1）研究对新一代信息技术下的软件系统进行有效的控制，提高和保障软件的自主性、可信性和经济性。

2）以反馈控制、自适应控制和智能控制为基本手段，研究现代软件控制论中的若干问题，如：软件行为不确定性分析与建模，上下文感知的需求分析，软件体系结构设计与优化，软件测试，软件可靠性评估，软件老化问题，软件重构与演化、软件迭代开发过程等。

3）结合新一代信息技术（特别是智能化技术的）现代控制论与应用；智能化软件中的控制问题；控制的智能化问题等。

论坛组织委员会：

聂长海（南京大学）

孙昌爱（北京科技大学）

刘 璘（清华大学）

日程安排：

时间：2021年12月24日（星期五），08:30~12:30

论坛议程：

论坛组织委员会简介：

1. 论坛主席：聂长海

简介： 聂长海，南京大学计算机系教授，博导，一直从事软件工程领域教学科研工作，主讲过计算机操作系统、软件测试、软件工程、软件质量保证、区块链等10多门计算机科学领域课程，并多次获得教学奖。在多年专业课程教学和科研基础上不断总结，2013年在清华大学出版社出版教材《软件测试的概念与方法》，2020年7月在机械工业出版社出版教材《智能化软件质量保证的概念与方法》。发表及合作发表学术论文近百篇，包括软件工程领域国际最高级期刊TSE、TOSEM、会议ICSE和具有高影响力的国际期刊ACM Computing Survey。2015年在科学出版社出版专著《组合测试》，该著作是国内唯一一本系统介绍组合测试方法的专业著作。获得多项发明专利和软件著作权，主持过国家863项目、科技部重点研发项目子课题和多项国家自然科学基金项目，参与的项目多次作为重要成员获得省部级科研奖。中国计算机学会杰出会员，中国计算机学会软件工程专委会，形式化专委会委员和容错专委会常务委员。曾编辑2016《软件学报》的“基于搜索的软件工程”专刊，2020年《计算机研究与发展》的“面向服务的群智化生态化软件开发方法”专刊。

2. 论坛主席：孙昌爱

简介： 孙昌爱，北京科技大学教授，博士生导师，长期从事软件工程、服务计算领域的研究与教学，侧重于服务计算、软件测试、程序分析等方向。在IEEE Transactions on Software Engineering、IEEE Transactions on Computers、IEEE Transactions on Services Computing、IEEE Transactions on Reliability、ACM Transactions on the Web、Journal of Systems and Software、中国科学、计算机学报、软件学报等国内外重要学术刊物上发表论文100余篇、申请中国国家发明专利10项、登记计算机软件著作权25项，出版译著3部。主持完成国家自然科学基金、北京市自然科学基金、中国航空科学基金等二十余项研究课题。担任TrustCom2008、UIC2015、CBPM2020等国际/全国学术会议程序委员会主席，担任 国际会议IEEE SOCA2015、全国服务计算学术会议NCSC2018研讨会主席，担任IEEE ICWS2020、COMPSAC2020等软件工程、服务计算领域国际会议程序委员会委员120余次。IEEE高级会员、中国计算机学会软件工程专委委员、中国计算机学会服务计算专委委员。曾在美国普渡大学、荷兰格罗宁根大学、澳大利亚斯文本大学、香港理工大学从事学术研究与交流。

3. 论坛主席：刘璘

简介： 刘璘博士，清华大学软件学院副教授，主要从事软件需求工程与知识工程领域的研究工作。她的主要研究兴趣包括软件系统建模与分析，医疗大数据分析与处理，新型网络服务软件开发方法等。现任《需求工程》国际期刊（REJ）编委，《信息系统建模与设计国际期刊》（IJISMD）副主编。曾编辑过服务计算通讯（TSC）期刊的“服务需求工程”特约专栏，《需求工程》国际期刊（REJ）的“云计算环境下的安全需求工程”专刊，《软件学报》的“大数据时代的软件工程”专刊，《计算机研究与发展》的“人工智能背景下的需求工程”专刊，《计算机科学》的“复杂系统的软件工程与需求工程”专刊等。她参与与专刊主体相关领域的国家自然科学基金重点项目两项和主持863项目一项，分别致力于“面向大规模群体协同的软件建模方法与技术”以及“基于最优决策的需求工程方法”的研究与实践。