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

《软件学报》形式化方法的理论基础
征文通知


形式化方法主要研究如何把具有清晰数学基础的模型、规范、分析以及验证融入软硬件设计开发的各个阶段,是改善和确保计算机系统正确性和可靠性的重要途径。在领域需求的推动下,形式化方法技术和工具方面的研究取得了显著成效的同时,需要研究新的理论和方法来解决更复杂的计算机系统问题。本专刊重点关注“形式化方法的理论基础”,将收录国内外形式化方法的理论、模型、算法研究的高水平成果。专刊将与中国计算机学会形式化方法专业委员会合作,收录的论文不仅要通过正常评审程序、而且要求在形式化方法专业委员会年度会议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期

 

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