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

形式化方法起步于对程序理论和语义的研究，历经50来年的发展，成为了计算机科学中的重要领域。它使用严格的数学方法，研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术，为计算系统的正确性和可靠性提供了重要途径。

本专刊将收录国内外软件形式化方法研究领域的高水平研究成果，并探讨其在相关领域的核心应用。专刊将与中国计算机学会形式化方法专业委员会合作，收录的论文不仅要通过正常评审程序、而且要求在形式化方法专业委员会首次年会上报告，最终将在2016年第3期出版。读者群体包括形式化方法、软件工程、计算机系统及其相关领域的研究人员和专业工程师等。

专刊题目：形式化方法与应用
特约编辑：李宣东(南京大学)、王戟(国防科学技术大学)、詹乃军(中国科学院软件研究所)
出版时间：2016年3期

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

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



软件学报编辑部
2015年4月20日