《软件学报》形式化方法的理论基础
征文通知
形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径。在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要研究新的理论和方法来解决更复杂的计算机系统问题。本专刊重点关注“形式化方法的理论基础”,将收录国内外形式化方法的理论、模型、算法研究的高水平成果。专刊将与中国计算机学会形式化方法专业委员会合作,收录的论文不仅要通过正常评审程序、而且要求在形式化方法专业委员会年度会议FMAC2017上报告,最终将在2018年第6期出版。
专刊题目:形式化方法的理论基础
特约编辑:傅育熙、李国强、田聪
出版时间:2018年第6期
一、征文范围:包括但不限于以下主题:
形式化方法的逻辑及其应用
形式化方法中相关问题的判定性和复杂性
自动机理论与形式语言
并发、安全和移动模型
实时、嵌入式、混成系统
程序的分析和验证,抽象解释
模型检测、等价性验证
自动和交互定理证明
SAT和SMT求解器及其应用
二、投稿要求
1. 投稿方式:采用“软件学报在线投稿系统”(http://www.jos.org.cn)投稿。投稿时请在备注栏中注明“形式化方法的理论基础”字样。
2. 稿件格式:参照《软件学报》论文格式(网站上提供了论文模版,可下载)。
3. 投稿文章未在正式出版物上发表过,也不在其他刊物或会议的审稿过程中,不存在一稿多投现象;保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
4. 其他事项请参阅投稿指南http://www.jos.org.cn/ch/reader/view_fixed_content.aspx?id=instructions
5. 投稿作者需提交投稿声明;专刊投稿文章不收审理费。录用刊发文章收取软件学报标准版面费。发表之后,将按软件学报标准支付稿酬,并赠送样刊。
6. 通过阶段评审的论文,需在CCF形式化方法专委会承办的形式化方法与应用学术会议FMAC2017(2017年10月,长沙)上做学术报告,根据论文修改情况和会议报告情况终审确定是否录用。
三、重要时间
截稿时间:2017年7月1日
评审意见通知时间:2017年9月20日
FMAC2017报告日期:2017年10月21-22日(长沙)
论文修改稿提交日期:2017年11月20日
终审结果发出日期:2017年11月30日
最终稿提交日期:2017年12月15日
出版日期:2018年第6期