主页期刊介绍编委会编辑部服务介绍道德声明在线审稿编委办公English
2022年专刊出版计划 微信服务介绍 最新一期:2021年第4期
     
在线出版
各期目录
纸质出版
分辑系列
论文检索
论文排行
综述文章
专刊文章
美文分享
各期封面
E-mail Alerts
RSS
旧版入口
中国科学院软件研究所
  
投稿指南 问题解答 下载区 收费标准 在线投稿

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

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

形式化方法己经成功应用于各种硬件设计,特别是芯片的设计。各大硬件制造商都有一个非常强大的形式化方法团队为保障系统的可靠性提供技术支持,例如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日
评审意见通知时间:2021年10月20日
ChinaSoft 2021报告时间:2021年11月
论文修改稿提交时间:2021年12月10日
终审结果发出日期:2021年12月20日
最终稿提交时间:2021年12月31日
出版时间:2022年第8期

 

京公网安备 11040202500064号

主办单位:中国科学院软件研究所 中国计算机学会 京ICP备05046678号-4
编辑部电话:+86-10-62562563 E-mail: jos@iscas.ac.cn
Copyright 中国科学院软件研究所《软件学报》版权所有 All Rights Reserved
本刊全文数据库版权所有,未经许可,不得转载,本刊保留追究法律责任的权利