为推动国内软件工程学科发展，提高学科东谈主才培养质地，治理软件工程学科发展的问题和困惑，同期行动2021 CCF中国软件大会经办单元，为高质地鼓动大会的各项筹备责任，西安电子科技大学举办“第三届软件工程学术进展与学科建立计议会暨2021 CCF中国软件大会专题责任会”。会议由西安电子科技大学软件工程学科主持，推测机科学与技巧学院（国度示范性软件学院）、西安电子科技大学青岛推测技巧研究院与西安市智能软件工程要点实验室经办，通过线上线下消灭的步地进行。
在前两届（2017、2019）软件工程学术进展与学科建立计议会见效举办的基础上，本次计议会将围绕软件工程畛域最新学术进展、学科建立、改造东谈主才培养等内容与热门，邀请清华大学、北京大学、南京大学、国防科技大学、中国科学院软件研究所、北京航空航天大学、华东师范大学、大连理工大学等国表里软件工程学科上风高校和着名软件企业的人人学者，通过主题酬报、换取沙龙等状貌，就软件工程畛域表面、技巧、诈欺新进展与学科发展新动态进行真切计议，助力国内软件工程学科建立和发展。
2021 CCF中国软件大会（CCFChinasoft）将于2021年11月19日至21日召开，大会由中国推测机学会主持，CCF软件工程专委会、系统软件专委会、状貌化步履专委会、西安电子科技大学经办，西安电子科技大学推测机科学与技巧学院具体落实。专委会和经办单元已成立大会筹备长入责任组，一直捏续鼓动大会筹备责任。跟着大会附进，为确保大会顺利举行，本次大会专题责任会将围绕大会筹备进展、责任规划、进程安排等进行筹办斟酌。
一、会议举办机构
主持：西安电子科技大学
经办：西安电子科技大学推测机科学与技巧学院（国度示范性软件学院）
西安电子科技大学青岛推测技巧研究院
西安市智能软件工程要点实验室
二、会议组织机构
会议主席
李青山
步履委员会
主 席
李青山 崔江涛
委 员
龙头：该位最近10期出号07 04 06 04 07 02 08 01 03 05，奇偶比5：5，本期龙头预测偶数球10将出现。
沈玉龙 田 聪 苗启广 刘欧好意思 宋顺利
组织委员会
主 席
李 瑞 向麟海 徐悦甡
委 员
于 斌 王 璐 刘如意 覃桂敏 王建东 王 云
三、会议安排
会议时辰：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、推测机科学等期刊编委。屡次承担国度当然科学基金名堂、国度要点研发课题，并永久与华为、百度、航天五院等企业开展合作。先后赢得大连市五一迥殊奖章、中国推测机学会优秀博士学位论文指点教师、寰球NASAC后生软件改造奖、ACM SIGSOFT突出论文奖。
蒲戈光，一个app的开发成本要多少钱华东师范大学
酬报题目：用具驱动的学术研究与营业改造
酬报摘记：软件用具是软件工程的要紧研究地方。通过研发软件用具不错擢升软件劝诱全生命周期各个阶段的遵守，增强软件产物的可靠性。本酬报先容了几类软件测试、建模与考据用具的研究进展，包含了自动测试、镶嵌式测试以及状貌考据联系的软件用具的研制。酬报同期展现了如何把学术原型用具转换为营业产物，并在行业里进行落地诈欺。
酬报东谈主简介：蒲戈光，上海工业功令安全改造科技有限公司总司理，华东师范大学讲授博导，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的开发成本要多少钱
