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

形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统，是改善和确保计算系统质量的重要方法，其模型、技术和工具已延伸成为计算思维的重要载体，在国内外持续被关注和研究。在各种领域需求的推动下，形式化方法的相关理论、技术和工具越来越受重视，并在多种关键领域的应用中取得显著成效。

本专刊主要关注“形式化方法及其在特定领域的应用”，将收录国内外面向应用领域的各类系统形式化方法研究与应用的高水平成果。专刊将与中国计算机学会形式化方法专业委员会合作，收录的论文不仅要通过正常评审程序、而且要求在形式化方法专业委员会2016年会上报告，最终将在2017年第5期出版。

专刊题目：形式化方法与应用
特约编辑：董威(国防科学技术大学)、赵建华(南京大学)、吕鸣松(东北大学)
出版时间：2017年第5期

一、征文范围
本专刊征文范围包括软件以及其他系统形式化方法与应用领域的所有方面，具体包括(不仅限于)以下内容：
1）软件与系统的形式模型、语义与推理
2）形式化设计与代码生成
3）形式化分析与验证技术
4）软件演化形式化基础与支撑技术
5）形式化工具及其评估
6）形式化方法和工具在特定领域的应用
7）形式化方法在交叉学科领域的扩展与应用   
专刊特别欢迎形式化方法与理论计算机科学、软件工程、系统软件、嵌入式系统、网络与信息安全、人工智能等学科交叉结合的研究成果和论文。
 
二、投稿要求
1. 投稿方式：采用“软件学报在线投稿系统”(http://www.jos.org.cn)投稿。投稿时稿件类型请选择"专刊投稿"，同时在中文标题后面加上括号，在括号内注明专刊名称，即：(形式化方法与应用专刊)字样。
2. 稿件格式：参照《软件学报》论文格式(网站上提供了论文模版，可下载)。
3. 投稿文章未在正式出版物上发表过，也不在其他刊物或会议的审稿过程中，不存在一稿多投现象；保证投稿文章的合法性(无抄袭、剽窃、侵权等不良行为)。
4. 其他事项请参阅投稿指南 http://www.jos.org.cn/ch/reader/view_fixed_content.aspx?id=instructions  
5. 投稿作者需提交投稿声明；专刊投稿文章不收审理费。录用刊发文章收取软件学报标准版面费。发表之后，将按软件学报标准支付稿酬，并赠送样刊。
6. 通过阶段评审的论文需要在中国计算机学会形式化方法专业委员会2016年会(2016年11月上旬)上报告，根据论文修改情况和会议报告情况终审确定是否录用。

三、重要时间
论文提交截止日期：2016年7月15日
第一轮评审意见发出日期：2016年9月5日
第一轮修改稿提交日期：2016年9月20日
第二轮评审意见和报告邀请发出日期：2016年10月25日
形式化方法专委会报告日期：2016年11月上旬
第二轮修改稿提交日期：2016年11月20日
终审结果发出日期：2016年11月25日
最终稿提交日期：2016年11月30日
出版日期：2017年第5期

软件学报编辑部
2016年2月22日