返回首页
-
联手形式化方法专业委员会：“时间自动机”术语发布 | CCF术语快线
2022-01-28时间自动机[1]是一个对实时系统进行建模和验证的模型。它可以理解成一个带有限个时钟集合的有限自动机。每个时钟都是一个取值范围为0或正数的变量，且同步运行。时间自动机状态之间的转换要满足边上时钟约束才可能发生，且这种转换不消耗时间，在状态转移中，某些时钟可以被重置为0。只要满足当前状态中的时钟约束，时间自动机的时间可以在这个状态中流逝。换言之，时间自动机是用有限个实数值变量扩展的有限自动机。
-
CCF表彰2021年度CSP优秀单位
2022-01-28CCF从组织参与了2021年认证考试的授权认证高校中评选年度优秀单位，湖南大学等10所高校获CSP组织优秀单位，北京大学等10所高校获CSP成绩优秀单位。
-
2021年CCF会员活动中心评优结果出炉
2022-01-272021年CCF会员活动中心评优结果出炉， 五个优秀分部：武汉、合肥、济南、苏州、石家庄；特色活动奖：南京、长沙，会员发展优秀奖：杭州、上海，总部特别贡献奖：深圳、南宁，进步专项奖：哈尔滨、东莞， 此公告并向获奖分部表示祝贺！
-
2021年“CCF终身成就奖”评选结果公告
2022-01-25CCF奖励委员会决定授予国防科技大学胡守仁教授、广州大学张景中教授2021年“CCF终身成就奖”，以表彰他们为中国计算机事业的发展做出的卓越贡献。
-
-
期刊CCF Transactions on Pervasive Computing and Interaction被EI收录
2022-01-24近日，由CCF主办，CCF普适计算专业委员会和人机交互专业委员会联合发起创刊，施普林格出版社出版的期刊CCF Transactions on Pervasive Computing and Interaction被EI收录。
-
软件工程学科研究生课程建设 | CCF数图焦点第11期
2022-01-21研究生教育是国家战略创新计划的重要组成部分，课程教学是研究生培养的重要环节。受国务院学位委员会委托，国务院软件工程学科评议组2019年组织编写了一套《软件工程学科研究生核心课程指南》，包括理论、系统、开发、质量四个类别共10门课程，分别是《软件工程理论基础》、《基础软件与开源系统》、《分布式系统》、《大规模领域软件系统》、《软件需求工程》、《软件体系结构》、《软件开发方法学》、《软件分析与测试》、《软件工程管理》、《软件安全》；每门课程的指南包含课程目标、适用对象、授课方式、课程内容、考核要求、课程资源等内容。2021年中国软件大会软件工程教育论坛特别邀请参加课程指南撰写的各位老师详细介绍课程指南的相关内容。
-
2021年“CCF夏培肃奖”评选结果公告
2022-01-20CCF奖励委员会决定授予北京大学金芝教授、清华大学史元春教授2021年“CCF夏培肃奖”，以表彰她们为推动中国的计算机事业的发展做出的杰出贡献。
京公网安备 11010802032778号
