2022年CCF中国软件大会（CCF ChinaSoft 2022）将于2022年11月25-27日在线上举行。预期将有陆汝钤、林惠民、陈左宁、邬江兴、何积丰、梅宏、吕建、柴洪峰、廖湘科、王怀民、郑纬民、蒋昌俊、王自力等10余位院士莅临。

本次大会主题是“聚焦产教研用协同创新，提升关键软件供给能力”，包括学术、工业、教育等论坛活动40余场，期待您的参与！

大会线上参会报名通道已经开启！

点击文末“阅读原文”报名注册线上参会！

https://conf.ccf.org.cn/chinasoft2022

✦  +

+

论坛巡礼

本文特别介绍将于11月27日举办的【软件通识教育】论坛。

论坛名称：软件通识教育论坛

时间：2022年11月27日13:30-17:00

论坛简介：

计算机技术特别是软件技术已经向几乎所有应用领域进行着渗透。这种渗透不仅为相关应用领域提供了新的研究和应用视角，也为计算机软件技术提供了丰沃的研究和应用场景。如何从教育的角度出发，为这种渗透和学科融合提供教育支撑，让我们的青年学子甚至社会民众了解、熟识、掌握直至贡献，已经成为计算机软件通识教育的基本述求。

计算机软件通识教育在国内已经有了长足的探索和发展，有不少高校和团体在此方面形成了自己的特色。本次会议特组织此次教育论坛，论坛邀请了国内多位知名专家或教育组织管理者，分享他们在计算机软件通识教育的理念、机制、举措、现状、经验和期望，以期推动中国的计算机软件通识教育更上台阶。

日程安排

Schedule

论坛主席

Forum Chairman

陶先平

南京大学教授、博士生导师

九三学社南大委员会委员，兼任教育部大学计算机课程教学指导委员会委员、江苏省计算机学会教育工委主任。主要研究方向为群智认知、智能软件工程、普适计算技术、软件中间件技术等。工作期间，主持或参与国家、省部级项目二十余项，发表学术论文百余篇。两次获国家科技进步二等奖；一次获国家教学成果二等奖。个人获宝钢优秀教师奖。

论坛嘉宾

Forum Guests

聂长海

南京大学计算机系教授，博士生导师

先后在东南大学（1996-2007）和南京大学（2008-至今）任教。2007年到2008年在英国伦敦国王学院计算机系访问学者一年。在20多年的教学工作中，多次主讲过数学类和计算机类课程10多门，基本上覆盖了数学与计算机科学的所有主干课程。教学上积极研究和探索教学规律，尽职尽责，教学效果良好，曾多次获得教学奖，在多年专业课程教学基础上不断总结，2013年在清华大学出版社出版教材《软件测试的概念与方法》，2020年7月在机械工业出版社出版教材《智能化软件质量保证的概念与方法》。近5年来，紧跟新技术发展，开展区块链技术教学和科研工作，编写了《区块链技术基础教程：原理、方法及实践》研究生教材，翻译出版《应用数据分析：原理与应用》和《创建使用虚拟样机软件：原理与实践》等外文著作。发表及合作发表学术论文80多篇，包括软件工程领域国际最高级期刊TSE、TOSEM和具有高影响因子的国际期刊ACM Computing Survey。2015年在科学出版社出版专著《组合测试》，该著作是国内唯一一本系统介绍组合测试方法的专业著作。获得多项发明专利和软件著作权，主持过国家863项目、科技部重点研发项目课题和多项国家自然科学基金项目，参与的项目多次作为重要成员获得省部级科研奖。

报告题目

软件通识教育的一些认识和实践

摘要

经过60多年的发展，软件从无到有，从简单到复杂，从曾经作为硬件设备的附赠品，发展成为定义和实现世界的灵魂。软件领域知识和技术正在爆炸式增长，软件学科已经枝繁叶茂，国内软件学院已经蓬勃发展了20多年，软件教育正面临众多问题和挑战，软件通识教育就是其中之一。什么软件通识教育？为什么要搞软件通识教育？怎样进行软件通识教育？软件通识教育应该包含哪些内容？围绕软件通识教育中的这些基本问题，此次报告结合本人20多年的教学和科研实践，浅谈对这些问题的一点认识。

杜文峰

副教授，深圳大学计算机与软件学院软件工程系副系主任

广东省线上线下一流课程《软件工程》课程组组长。研究方向为分布式智能、无线网络、多点并发通信等，主持了多项国家、市科技研发项目。在软件研发领域具有丰富的经验，曾经组织管理过3个千万级的软件项目，并且作为企业顾问参与了多个公司的项目研发和市场运营；主持开发的某政府系统在广东省政府部门应用覆盖率达到60%以上，每年服务人数超过万人。

报告题目

基于新工科理念的软件工程课程建设（深圳大学-腾讯案例）

摘要

为了帮助高校学生提高解决复杂软件工程问题的能力，联合腾讯公司用了3年时间共建了一门高质量的软件工程课程：共同编著了一本《软件工程》教材，并共同制作了一门高质量的MOOC课程。教学过程中，讲者将实际软件项目经验融入到软件工程的知识点介绍中，深度剖析了不同软件开发方法在软件分析、设计和实现中需要注意的内容和方法。同时，腾讯公司也将其内部的研发模式、研发平台进行总结，在教材的现代软件开发部分介绍了腾讯的敏捷研发模式和研发平台，帮助学生深入了解互联网大厂的内部研发模式。本次报告力争给大家的课程建设提供新的思路。

王伟

华东师范大学数据科学与工程学院教授，博士生导师

X-lab开放实验室创始人，开源社副理事长，CCF杰出会员，CCF开源发展委员会委员，标准院开源治理标准体系建设专家顾问，木兰开源社区技术委员会委员。研究方向为开源发展生态学、计算教育学。

报告题目

开源软件通识教育中的思考与实践

摘要

“开源软件”的协同开发，是人类在互联网发展进程中探索出的一种全球大规模协同生产模式，当下备受瞩目。开源软件也越来越成为定义数字世界的主流、改变数字世界的规则，涉及到开发者、用户、开源项目、开源社区、开源基金会等多个方面。在开源软件开发、开源社区治理等专业课程内容的基础之上，本报告介绍开源软件中的跨学科与通识属性，以及将开源软件运动、开源文化、开源社区、开源法规、开放革命等主题，进行通识课程构建上的尝试、思考与实践，希望对促进我国和全球开源软件生态的发展起到帮助。

陈钢

南京航空航天大学计算机学院教授

CCF杰出会员，EDA技术白皮书优秀编审。主要研究领域：函数式语言、程序语言设计、高阶定理证明、类型系统、EDA等，主讲“函数式语言编程基础”本科选修课以及基于COQ定理证明器的“形式化工程数学”研究生课。著作“OCaml语言编程基础教程”。主编EDA技术白皮书第十二章“硬件语言lint工具”。

报告题目

基于COQ定理证明器的软件基础教学

摘要

计算机科学教学方法正在发生一个颠覆性的改变，这就是引入定理证明工具辅助计算机教学。高阶定理证明器的最初目标是辅助数学证明，因此它们也被称作证明助手。然而它们的强大的表达能力和推理能力使它们能够辅助数学教学、软件教学和硬件教学。国际上已经开发出了一整套基于高阶定理证明器COQ的软件基础系列教材，这一新型教学方法正在为软件教学带来了革命性的变化。我们在“形式化工程数学”课程中把定理证明的教学同EDA前端软件设计教学相结合，用COQ定理证明器辅助前端设计中的逻辑验证和软件设计教学。这一教学实践说明了COQ可以为计算机各个领域的教学提供良好的支持。

李骏扬

东南大学教师工作部（教师教学发展中心）副部长

工学博士，副教授，首批国家级混合式一流课程负责人，江苏省“青蓝工程”优秀教学团队带头人，东南大学工科大类计算机基础教学负责人。在首届全国高校教师教学创新大赛中荣获一等奖，以及教学设计创新奖、教学学术创新奖两项单项奖。曾获得江苏省教学成果一等奖、江苏省微课竞赛课程思政组一等奖。

报告题目

面向不同学科的计算思维课程图谱对比实践与思考

摘要

不同学科对计算机的应用途径有所不同，不同专业的一年级学生的思维偏向也有所差异，这使得面向不同专业的计算思维课程在课程目标的层次结构、内容图谱的展开方式、高阶思维的达成途径、学以致用的实践案例等方面都有所不同。报告通过对计算思维课程在工科荣誉班、工科普通班和文科强化班的学情分析，探讨面向不同学科的课程构架与图谱差异，分享教学实践中的经验与得失，推动并加强软件通识教育在新工科、新文科专业中的支撑。

郭建

华东师范大学软件工程学院，副教授

主要从事嵌入式系统设计、操作系统等的教学工作。嵌入式系统设计课程先后获得2011年上海重点课程、2015年上海精品课程、2018年上海高校优质在线课程、2019年上海高校课程思政重点改革领航课程建设、2020年上海市高等学校线上线下混合式一流本科课程、2021年智慧树平台一流高校精品课程。2018年起在MOOC和智慧树上线，已完成7轮教学，智慧树平台上有50余所高校采用课程的在线教学资源进行在线教学，完成教学计划中的学分课。为了整合线上、线下资源，尝试混合式教学模式，提出了“半翻转课堂、立体化实践”的分层混合教学模式。本人获得国家教学成果二等奖（9/11）、上海市教学成果一等奖（8/10）、华东师范大学教学成果二等奖（1/3）。本人获得2020年上海市科技进步特等奖(5/15)，科研更好地为教学服务。

报告题目

基于“半翻转课堂、立体化实践”的混合式教学改革

摘要

嵌入式系统设计是软件工程专业嵌入式方向的一门专业必修课是后续专业课的重要支撑课程。学生在学习过程中需要建立嵌入式系统开发思维模式；嵌入式的内容繁杂，且技术日新月异，软硬件种类丰富，学生迫切需要提升嵌入式系统实践能力；每个班学生基础能力参差不齐，学习需求也多种多样。针对这些问题，课程教学设计以学生为中心，采用“半翻转课堂、立体化实践”的分层混合教学模式。教学模式充分利用慕课、SPOC、QQ群以及慕课堂等数字化教学工具，开展线上线下无缝衔接的教学活动，使得在两种环境下的学习活动互融互通，做到形式上优势互补和内容上相辅相成。

李昌龙

华东师范大学副教授

中国科学技术大学博士，美国加州大学洛杉矶分校（UCLA）联合培养博士，香港城市大学博士后，入选上海市领军人才计划，曾任职于华为手机操作系统部，期间重点负责的课题登上Mate40手机发布会。已主持或参与完成了军委科技委、国家自然科学基金委、上海市科委的多个科研课题，相关研究获得科技部《中国高新科技》杂志专访和报道。以第一/通讯作者在FAST、EuroSys、DAC、TCAD等计算机领域内顶级会议或期刊上发表学术论文，研究成果被美国西门子医疗全球副总裁Dorin Comaniciu、美国贝尔实验室研究员Yennun Huang、香港中文大学研究生部主任Pheng Ann Heng以及多位IEEE/ACM Fellow关注并引用。

报告题目

新时代基础软件领域人才培养方法研讨

摘要

在国际形势和国内外科技产业快速演进的大背景下，产业链重构、技术硬脱钩风险日益增加，这导致我国在操作系统、集成电路等根技术领域的人才缺口越发突出。这些基础领域的人才，难以通过单一课程培养一蹴而就，需要跨课程拉通、构建完整的知识体系，并结合产业需求构建完善的产学研闭环。本次报告，李昌龙教授将基于其在操作系统领域的科研和教育经历，并结合其在上海市产业布局和人才培育方面的课题研究，探索基础软件人才培养的新方法。