为推动国内软件工程学科发展，提高学科东谈主才培养质料，处分软件工程学科发展的问题和困惑，同期看成2021 CCF中国软件大会经办单元，为高质料推动大会的各项操办责任，西安电子科技大学举办“第三届软件工程学术进展与学科诞生洽商会暨2021 CCF中国软件大会专题责任会”。会议由西安电子科技大学软件工程学科操纵，狡计机科学与工夫学院（国度示范性软件学院）、西安电子科技大学青岛狡计工夫连络院与西安市智能软件工程重心实验室经办，通过线上线下联接的方式进行。
在前两届（2017、2019）软件工程学术进展与学科诞生洽商会告成举办的基础上，本次洽商会将围绕软件工程范围最新学术进展、学科诞生、翻新东谈主才培养等内容与热门，邀请清华大学、北京大学、南京大学、国防科技大学、中国科学院软件连络所、北京航空航天大学、华东师范大学、大连理工大学等国表里软件工程学科上风高校和驰名软件企业的巨匠学者，通过主题敷陈、换取沙龙等时势，就软件工程范围表面、工夫、操纵新进展与学科发展新动态进行深刻洽商，助力国内软件工程学科诞生和发展。
2021 CCF中国软件大会（CCFChinasoft）将于2021年11月19日至21日召开，大会由中国狡计机学会操纵，CCF软件工程专委会、系统软件专委会、时势化方法专委会、西安电子科技大学经办，西安电子科技大学狡计机科学与工夫学院具体落实。专委会和经办单元已诞生大会操办融合责任组，一直抓续推动大会操办责任。跟着大会左右，为确保大会班师举行，本次大会专题责任会将围绕大会操办进展、责任接洽、进程安排等进行接洽接洽。
一、会议举办机构
操纵：西安电子科技大学
经办：西安电子科技大学狡计机科学与工夫学院（国度示范性软件学院）
西安电子科技大学青岛狡计工夫连络院
西安市智能软件工程重心实验室
二、会议组织机构
会议主席
红球冷码统计：双色球第2024078期开出红球奖号分别为：05、09、14、21、22、26，在最近300期开奖中，各号码出现之后其下期出现最少的5个红球分别为：
红球冷热分析：上期开出1个冷码红球：26，奖号冷热比为1:5，本期参考冷热比4:2，关注冷码15、16、23、31。
李青山
法子委员会
主 席
李青山 崔江涛
app委 员
沈玉龙 田 聪 苗启广 刘欧好意思 宋告成
组织委员会
主 席
李 瑞 向麟海 徐悦甡
委 员
于 斌 王 璐 刘如意 覃桂敏 王建东 王 云
三、会议安排
会议时间：2021年10月9日~2021年10月10日
线下地点：西安电子科技大学青岛产训诲通连络生融合培养基地
地址：山东省青岛市城阳区春阳路86号天安数码城阳光大厦
线上参与方式：腾讯会议（会议号：747 505 6044）
线上直播地址：
图片直播:
https://www.xxpie.com/m/album?id=615039127414e573b0cebe10
视频直播
http://wx.vzan.com/live/tvchat-1431491058?v=637682732599534523
线上直播二维码：
图片直播 视频直播
会议议程总览：
四、议程安排
2021年10月9日（星期六）
2021年10月10日（日曜日）
五、敷陈嘉宾简介
金芝，北京大学
敷陈题目：基于环境建模的需求工程
敷陈纲领：需求工程的任务是不雅察施行世界，定位系统问题并决定系统能力。对问题不雅察有不同的不雅点。信息物理系统平直与其环境交互，即感知环境并作用于环境。识别环境的特征并处意义环境特援引出的珍视点相等紧迫。基于环境建模的方法在进行需求工程时将环境视为一阶成见。通过对环境进行建模，分析环境的静态和动态特质，并由此系统地推导出系统应该具有的行为和需要忻悦的敛迹。本敷陈先容什么是环境，怎样对环境进行建模，以及怎样从环境的角度来深信系统能力，其中还触及一些对环境安全问题的珍视点。
敷陈东谈主简介：金芝，北京大学训诲，973神色首席科学家。任北京大学高确切软件工夫种植部重心实验室常务副主任，国务院学位委员会学科评议构成员（软件工程），中国狡计机学会会士与常务理事，中国狡计机学会系统软件专科委员会主任，任IEEE TSE/TR Association Editor，Empirical Software Engineering编委，《软件学报》践诺主编，《狡计机学报》副主编。主要连络范围包括：软件需求工程、学问工程、和基于学问的软件工程等，出书英文专著3部，汉文编订1部，发表论文150余篇。
李宣东，南京大学
敷陈题目：镶嵌东谈主工智能模子的软件系统确切保险
敷陈纲领：跟着东谈主工智能工夫的快速发展，越来越多的问题经受基于机器学习、神经网罗形成的算法加以处分，咱们称这类算法为“东谈主工智能模子”。东谈主工智能模子编程结束后成为软件系统的构成部分，这类包含东谈主工智能模子结束的软件系统咱们称之为“镶嵌东谈主工智能模子的软件系统”。基于统计旨趣和老师数据产生的东谈主工智能模子，与基于逻辑设计的算法比较，具有内在不成说明、正确性难以规约、泛化扫尾难以度量、易受数据扰动等特征，因而成为软件系统中新的、异构非信任主体，使得软件质料保险濒临新的阻碍和挑战，东谈主工智能模子劣势激勉的系统失效在本体操纵范围依然导致了多起要害安全事故。本敷陈聚焦怎样冲突东谈主工智能模子在系统确切保险方面所形成的阻碍、怎样揭示与解脱东谈主工智能模子与系统存在的劣势两大关节问题，从东谈主工智能模子与系统的分析与考据、面向东谈主工智能模子的系统确切增强与保险两个方面弘扬强项、想考与实践。
敷陈东谈主简介：李宣东，南京大学训诲，软件学院院长；兼任中国狡计机学会软件工程专科委员会主任、国务院学科评议构成员（软件工程）；教悔和连络责任东要触及软件工程、确切软件、时势化方法等范围。
刘奕群，清华大学
敷陈题目：脑机接口搜索过火对信息工夫范围的挑战
敷陈纲领：跟着东谈主类与搜索引擎的协同进化，面前的搜索过程依然检朴单的基于关节词匹配的事实查找进化为一种东谈主机细腻耦合的协同融会过程。受限于面前东谈主机交互方式的限制，搜索引擎对于搜索需求产生的高下文环境清寒深度感知，搜索用户对于搜索效果的反馈机制也清寒平直的显式通谈。这种交互方式导致的信息双向传递耗损形成了搜索性能进一步普及的权贵瓶颈。连年来，脑机接口工夫连络取得的越过使得东谈主机交互模式有望产生根人道的变革，而这种变革对搜索过程的潜在影响则较少有连络责任触及。本次敷陈将接洽经受脑机接口工夫对搜索过程可能带来的越过与挑战，对这种与想考过程细腻衔尾的搜索可能形成的东谈主类融会新范式进行预测。终点的，在脑机接口工夫尚无法大宗普及的近况下，咱们将重心接洽面前的信息工夫连络怎样为当年的脑机接口搜索开展前瞻性的准备责任，以及这些责任怎样能使互联网搜索引擎、智能信息助理、保举系统等面前的主流信息工夫居品获益。
敷陈东谈主简介：刘奕群，清华大学狡计机系训诲、党委布告。主要连络范围鸠集在信息检索、互联网搜索工夫以及当然谈话处理连络方面。担任信息检索范围驰名海外期刊Foundations and Trends in IR（SCI 1区）主编、信息检索范围紧迫会议ACM SIGIR2018（CCF A）法子委员会主席等学术职务。得到北京市科学工夫一等奖、北京智源学者、钱伟长汉文信息处理一等奖等奖励，并看成神色看重东谈主得到国度重心研发接洽。
武延军，中国科学院软件连络所
敷陈题目：RISC-V生态下基础软件的机遇与挑战
敷陈纲领：RISC-V绽放请示集是连年来狡计机体捆绑构和基础软件的热门，其纯粹、先进、分享共治的特质迷惑了环球学术和产业界的珍视。请示集看成软硬件的接口步履，将为基础软件范围带来哪些机遇，同期在国内又存在哪些挑战。本敷陈将先容中科院软件所在RISC-V软件生态诞生中的一些想考，在操作系统、编译用具链和驱动时环境等场所的责任进展，以及对当年布局的预测。
敷陈东谈主简介：武延军，中科院软件所特聘连络员、博士生导师，现任副总工、智能软件连络中心主任。主要连络场所为操作系统和系统安全。担任RISC-V海外基金会战术工夫委员会委员、中国绽放请示集定约软件责任组组长、openEuler开源社区理事。曾主抓中科院先导专项、国度科技要害专项等多项操作系统联系科研任务。流畅多年与腾讯、华为等开展神色合作。面前主要连络责任为开源软件供应链和RISC-V系统软件。
彭鑫，复旦大学
敷陈题目：基于大限制运维数据的云原生软件多维度分析
敷陈纲领：大限制云原生软件系统具有高度的复杂性和动态性，同期亦然一个继续推广和助长的复杂生态系统。这类系统渊博濒临着工夫风险高、故障定位难、败落全局业务和工夫视图、架构退化等方面的问题。包含各式日记、度量、轨迹数据在内的大限制软件运维数据不仅不错用于驱动时问题发现和根因定位，况且也为咱们瞻念察云原生软件系统业务和工夫运转情状过火永恒发展趋势提供了妙技。本次敷陈将从故障和性能问题、架构结实与设计质料、业务过程和特质三个不同维度弘扬基于大限制运维数据的云原生软件分析想路，并先容复旦大学CodeWisdom团队在联系方面的连络和实践探索。
敷陈东谈主简介：彭鑫，复旦大学狡计机科学工夫学院副院长、软件学院副院长、训诲、博士生导师。中国狡计机学会软件工程专委会副主任，上海市狡计机学会青工委主任，《Journal of Software: Evolution and Process》融合主编（Co-Editor），《ACM Transactions on Software Engineering and Methodology》编委（Associate Editor），《软件学报》编委，《Empirical Software Engineering》编委，IEEE软件选藏与演化海外会议（ICSME）执委（2017-2020）。2016年得到NASAC后生软件翻新奖。主要连络场所包括软件开拓大数据分析、智能化软件开拓、云原生与智能化运维、泛在狡计软件系统等。连络责任得到ICSM 2011最好论文奖、ACM SIGSOFT凸起论文奖（ASE 2018）、IEEE TCSE凸起论文奖（ICSME 2018/2019/2020）、IEEE Transactions on Software Engineering年度最好论文奖（2018）。担任ICGSE 2014及ICSME 2017组委会主席、Internetware 2017及ICSR 2019法子委员会主席，以及ICSE、FSE、ASE、ICSME、SANER、RE等会议法子委员会委员。指导复旦大学CodeWisdom连络团队开展软件开拓大数据分析平台以及智能化软件开拓平台的连络与实践，连络效用在多家大型企业进行了实践操纵。
胡春明，北京航空航天大学
敷陈题目：安全关节软件开拓模式想考
敷陈纲领：软件在发展过程中继续凝练和千里淀共性，其基础设施地位继续加强，安全可靠成为其核情绪划。而复杂软件系统呈现出绽放、动态、连忙非线性的特质，怎样普及安全关节软件开拓效用和质料成为紧迫问题。本敷陈分析航空航天范围安全关节软件的传统开拓模式，接洽安全关节软件与开源软件两种研发形态耦合与增强的可能性，在原有的模子化和时势化开拓方法的基础上，建议了智能化和平台化的当年发展趋势。
敷陈东谈主简介：胡春明，训诲，博士，博士生导师，软件学院院长。大数据科学与脑机智能北京市高精尖翻新中心副主任。中国狡计机学会系统软件专委会常务委员，狡计机科学普及工委主任，中国电子学会云狡计、大数据巨匠委员会副秘书长，海外万维网定约（W3C）副理事长。主讲：编译工夫、云狡计工夫旨趣、电子商务（高并发Web系统设计）。
江贺，大连理工大学
敷陈题目：编译器的确切保险与智能化
敷陈纲领：编译器是软件及信息产业的基础架构。跟着工夫演进，GCC和LLVM等通例编译器依然难以稳妥航空、航天、机器东谈主等新式场景自满出的确切、智能化等各样化需求。本敷陈来源先容适用于袖珍编译器的确切性成见及主流的确切编译器。在此基础上，敷陈先容用于提魁岸型编译器质料的编译器测试方法。终末，先容课题组研发的适用于自主无东谈主场景的新式智能化编译器。
敷陈东谈主简介：江贺，博士，大连理工大学训诲、博导，大连理工大学东谈主工智能大连连络院院长。1999年本科毕业于中国科学工夫大学少年班，2004年博士毕业于中国科技大学，师从陈国良院士。面前主要连络兴味为智能软件工程。2004年9月起，在大连理工大学责任。先后在ACM/IEEE系列汇刊TOSEM、TSE、TKDE、中国科学等期刊及ICSE、ASE等海外会议发表论文70余篇。担任IEEE TR、JSEP、FCS、狡计机科学等期刊编委。屡次承担国度当然科学基金神色、国度重心研发课题，一个app开发费用并永恒与华为、百度、航天五院等企业开展合作。先后得到大连市五一突出奖章、中国狡计机学会优秀博士学位论文指引教师、寰宇NASAC后生软件翻新奖、ACM SIGSOFT凸起论文奖。
蒲戈光，华东师范大学
敷陈题目：用具驱动的学术连络与生意翻新
敷陈纲领：软件用具是软件工程的紧迫连络场所。通过研发软件用具不错普及软件开拓全生命周期各个阶段的效用，增强软件居品的可靠性。本敷陈先容了几类软件测试、建模与考据用具的连络进展，包含了自动测试、镶嵌式测试以实时势考据联系的软件用具的研制。敷陈同期展现了怎样把学术原型用具改动为生意居品，并在行业里进行落地操纵。
敷陈东谈主简介：蒲戈光，上海工业按序安全翻新科技有限公司总司理，华东师范大学训诲博导，CCF时势化专委副主任。连络聚焦时势化方法与软件工程范围，包括软件考据表面与算法，以及测试考据用具的研发。面前担任科技部重心研发接洽专项“东谈主工智能安全确切表面及考据平台“首席科学家。连络效用曾获ACM凸起论文奖，上海市科技越过突出奖，北京市科技越过一等奖等奖项。其中主导研发的两款工业级软件考据与测试用具工作了30余家企业，灵验普及了企业软件开拓的质料与效用，并告成因循嫦娥五号飘舞器、上海无东谈主驾驶17号线等要害工程的班师实施。
李戈，北京大学
敷陈题目：对于支抓法子结实与生成的深度学习模子的启发式探讨
敷陈纲领：咱们最近的好多连络责任，皆将深度学习操纵于法子生成、法子结知趣干的任务并取得了SOTA的扫尾。在此过程中，有些基础性问题越来越需要珍视，举例，深度学习模子到底是怎样结实法子代码的？它能否按照东谈主们所联想的方式去结实法子代码？代码中的哪些信息简略被深度神经网罗捕捉到？本敷陈将对这些问题进行启发式接洽。另外，本敷陈还会触及一些对于法子处理深度学习模子的鲁棒性和安全性的问题，举例，用于法子处理的深度学习模子是否可靠，它在哪些方面会施展出脆弱性，使用深度学习模子处理法子会有哪些风险等。
敷陈东谈主简介：李戈，北京大学信息科学工夫学院狡计机科学工夫系副训诲，主要连络范围：法子分析与生成，深度学习与学问工程。毕业于北京大学狡计机系，曾赴斯坦福大学狡计机系东谈主工智能实验室从事深度学习方面的合作连络，任职窥探副训诲，CCF软件工程专委会秘书长。所在连络团队聚焦于基于机器学习概率模子的法子谈话处理、法子分析与生成等，在法子代码结实、代码自动生成、代码特征检测等方面一直保抓着海外上最初的连络效用，在NIPS，AAAI，IJCAI，ACL，ICSE，ASE，ICPC，TOSEM，EMSE等发表论文40余篇，曾获种植部高档学校科学连络优秀效用奖科技越过一等奖，北京市科技发明二等奖，CCF科学工夫奖工夫发明一等奖。科研改动效用aiXcoder正在为航天、互联网、银行等范围的多家头部企业的开拓者提供工作。
卜磊，南京大学
敷陈题目：基于在线考据的实时系统驱动时安全监控与按序生成
敷陈纲领：实时混成系统世俗出面前哨控、航天、航空、智能驾驶等安全攸关范围，其行为正确性至关紧迫。然而，实时混成系统里面行为中破裂、流畅行为交汇，极其复杂；而外界动态不深信环境更近一步加重了联系系统行为复杂度，使得联系系统的安全保险难以进行。针对此问题，咱们建议了一种基于时势化考据的方法，驱动时对系统短期内行为进行快速建模与考据，从而对潜在不安全行为进行发现与预警。在此基础上，进一步进行驱动时细粒度按序参数自动生成，在发现潜在危急时，经受系统按序，保险安全。部分效用已本体部署于列控国度工程中心半什物仿真系统，结束危急行为告成预警与泊车，引起范围世俗珍视与影响。
敷陈东谈主简介：卜磊，南京大学狡计机科学与工夫系训诲，博导。主要连络范围是软件工程与时势化方法，包括模子陶冶工夫，实时混成系统，信息物清醒通系统等场所。2010年在南京大学获取狡计机博士学位。曾在CMU、MSRA、UTD、FBK等科研机构进行访学与合作连络。联系责任发表于范围紧迫期刊与会议如TCAD、TC、TDSC、TCPS、TPDS、RTSS、HSCC等。入选国度级后生东谈主才神色，NASAC后生软件翻新奖，高校狡计机专科优秀教师奖励接洽，中国狡计机学会后生东谈主才发展接洽，微软亚洲连络院铸星接洽等。
董威，国防科技大学
敷陈题目：法子生成：从自动化到智能化
敷陈纲领：法子自动生成一直是狡计机科学范围的连络热门，举例法子轮廓很早就被建议并深刻连络，基于模子的代码生成已在实践中有了世俗操纵。该敷陈联接团队连年来在基于代码大数据和群体智能的法子轮廓、基于反映式轮廓的无东谈主系统按序法子生成等方面的连络进展，对法子自动化生成和智能化生成之间的各别以及发展过程中触及的一些问题进行探讨。
敷陈东谈主简介：董威，国防科技大学狡计机学院训诲、博士生导师，主要连络场所为高确切软件、智能化软件开拓方法，中国狡计机学会时势化方法专委会秘书长、软件工程专委会委员。曾获首届NASAC后生软件翻新奖、霍英东基金会高校后生教师奖等。先后主抓国度当然科学基金、国度863、国防范围课题多项，发表学术论文70余篇，包括ICSE、ASE、IEEE Trans、ACM Trans等一系列会议和期刊，出书国度级接洽讲义两部，联系效用操纵于航空航天、装备按序、自主基础软件等关节范围。
六、主抓东谈主
李青山，西安电子科技大学
主抓东谈主简介：李青山，博士，训诲，博士生导师，西安电子科技大学狡计机科学与工夫学院/国度示范性软件学院党委布告、软件工程一级学科看重东谈主、智能软件与系统新工夫连络所长处，曾任校发展接洽处副处长/一流诞生责任办公室副主任、连络生院副院长、软件学院副院长。面前担任西安市智能软件工程重心实验室主任，种植部省级重心学科“软件工程”学术带头东谈主，享受陕西省“三秦东谈主才”津贴；CCF凸起会员、软件工程专委会、大数据专委会、后生责任委员会委员、寰宇工程专科学位连络生种植指引委员会软件工程范围和谐构成员，陕西省狡计机学会软件工程专委会副主任。主要从事面向智能体的软件工程、软件体捆绑构、自稳妥软件演化、智能软件工程、大数据智能化分析工夫等场所连络责任，主抓国度科技部要害研发接洽课题、国度863要害神色课题、国度当然科学基金面上神色等国度和省部级神色五十余项，在ICSE、ESEC/FSE、《中国科学》、《软件学报》、《狡计机学报》等CCF A类会议和软件工程顶级会议期刊发表论文90余篇，授权/公建国度发明专利30余项，获省部级及以上科研/教悔奖励两项。
崔江涛，西安电子科技大学
主抓东谈主简介：崔江涛，西安电子科技大学狡计机科学与工夫学院训诲、博士生导师。1998、2001和2005年差别在西安电子科技大学狡计机学院获本科、硕士和博士学位。2007年至2008年看成国度公派窥探学者赴澳大利亚昆士兰大学数据与学问工程连络所从事窥探连络。2018年入选陕西省高档学校教悔名师，2020年入选省部级东谈主才。享受国务院政府特地津贴，入选第八届种植部科学工夫委员会学部委员。
现任狡计机科学与工夫学院(国度示范性软件学院)践诺院长、校学术委员会委员，狡计机科学与工夫专科看重东谈主、数据科学与学问工程学考场所带头东谈主。是中国狡计机学会（CCF）凸起会员、CCF理事、ACM/IEEE Member。担任CCF数据库专委会委员、大数据专委会委员、区块链专委会委员、种植工委委员，中国工程种植专科认证主干巨匠，种植部高档学校狡计机类专科教悔指引委员会“网罗工程专科教悔指引责任组”副组长，高校在线绽放课程定约联席会责任构成员，信息工夫新工科产学研定约理事、陕西省狡计机种植学会副理事长等。主要连络场所为数据库不停与内核工夫、复杂数据查询与索引、数据安全与阴私保护、区块链操纵工夫等。在联系范围顶级会议和紧迫海外学术期刊上（如ICDE、SIGMOD、SIGKDD、VLDB、TKDE、VLDB J.、Inf. Sci.）发表80余篇学术论文，得到联系范围国度发明专利授权10余项。主抓得到陕西省当然科学奖二等奖一项，陕西省教悔效用奖一等奖两项。
沈玉龙，西安电子科技大学
主抓东谈主简介：沈玉龙，博士，训诲；西电狡计机科学与工夫学院副院长，陕西省网罗与系统安全重心实验室副主任，贤达城市产业生态圈安全工夫组主席；陕西网信小组巨匠接头委员会委员，国度商用密码总体责任组副组长，永恒从事无线网罗、数据安全、智能电子系统安全等方面的连络；曾获国度工夫发明二等奖2项，省部级一等奖5项，2018 CCTV中国十大创业榜样。
七、联系咱们
徐悦甡，西安电子科技大学
邮箱：ysxu@xidian.edu.cn
王璐，西安电子科技大学
邮箱：wanglu@xidian.edu.cn一个app的开发成本要多少钱
