软件学报专刊征文:形式化方法与应用(截稿时间:9月5日)
  • 分享:
  • 0

《软件学报》形式化方法与应用
征文通知

形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已成为安全攸关系统质量保障不可或缺的重要载体。

形式化方法己经成功应用于各种硬件设计,特别是芯片的设计。各大硬件制造商都有一个非常强大的形式化方法团队为保障系统的可靠性提供技术支持,例如IBM、AMD等等。近年来,随着形式验证技术和工具的发展,特别是在程序验证中的成功应用,形式化方法在处理软件开发复杂性和提高软件可靠性方面己显示出无可取代的潜力。各个著名的研究机构都投入了大量人力和物力从事这方面的研究。例如,美国宇航局(NASA)拥有一支庞大的形式化方法研究团队,他们在保证美国航天器控制软件正确性方面发挥了巨大作用,在美国研发“好奇号”火星探测器时,为了提高控制软件的可靠性和生产率,广泛使用了形式化方法。在新兴领域,如区块链及人工智能等领域,形式化方法也逐步应用适配,提升系统的整体安全可控。

本专刊“形式化方法与应用”的主题将围绕形式化方法基础理论、技术、支持工具以及领域应用等。专刊将重点关注形式化方法在人工智能、区块链、量子计算等新兴领域内的研究成果,以及创新性理论技术在行业内的示范应用,拟收录相关方向的综述或突破性的关键技术。

专刊题目:形式化方法与应用
特约编辑:陈立前(国防科技大学)、孙猛(北京大学)
出版时间:2022年第8期

一、征文范围
形式化方法与应用相关的综述和关键技术突破。包括但不限于以下主题:
(1)模型检验
(2)硬件建模与验证
(3)软件分析与验证
(4)混成系统建模与验证
(5)系统综合
(6)运行时验证
(7)定理证明
(8)约束求解与判定过程
(9)形式化工具及其评估
(10)形式化方法应用案例
(11)形式化方法与人工智能
(12)形式化方法与区块链
(13)形式化方法与量子计算
(14)形式化方法与信息物理融合系统
(15)形式化方法与安全

二、投稿要求
(1)投稿方式:采用“软件学报在线投稿系统”(http://www.jos.org.cn)投稿。投稿时请选择专刊投稿类型为"专刊",同时在文章标题后+“形式化方法与应用”字样。
(2)稿件格式:参照《软件学报》论文格式(网站上提供了论文模版,可下载)。
(3)投稿文章未在正式出版物上发表过,也不在其他刊物或会议的审稿过程中,不存在一稿多投现象;保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
(4)其他事项请参阅投稿指南:http://www.jos.org.cn/jos/ch/reader/view_fixed_content.aspx?id=instructions
(5)投稿作者需提交投稿声明;专刊投稿文章不收审理费。录用刊发文章收取软件学报标准版面费。发表之后,将按软件学报标准支付稿酬,并赠送样刊。
(6)通过阶段评审的论文,需要在2021年CCF系统软件专委会、软件工程专委会承办的CCF中国软件大会ChinaSoft 2021上做会议报告,根据论文修改情况和会议报告情况终审确定是否录用。

三、重要时间
截稿时间:2021年7月20日9月5日
评审意见通知时间:2021年10月20日
ChinaSoft 2021报告时间:2021年11月 因疫情原因,会议延期到12月24-26日
最终结果通知时间:2021年12月10日 2022年1月15日
最终稿提交时间:2021年12月20日  2022年1月20日
出版时间:2022年第8期

发布日期:2021-03-06浏览次数:

当期目录


文章目录

过刊浏览

年份

刊期

联系方式
  • 《软件学报 》
  • 主办单位:中国科学院软件研究所
                     中国计算机学会
  • 邮编:100190
  • 电话:010-62562563
  • 电子邮箱:jos@iscas.ac.cn
  • 网址:https://www.jos.org.cn
  • 刊号:ISSN 1000-9825
  •           CN 11-2560/TP
  • 国内定价:70元
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号