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

发布时间：2017-04-28 10:14

  本文关键词：《软件学报》软件形式化方法与应用专刊征文通知，由笔耕文化传播整理发布。

【摘要】：正形式化方法起步于对程序理论和语义的研究,历经50多年的发展,成为了计算机科学中的重要领域,它使用严格的数学方法,研究并发展软、硬件系统的建模、设计、开发、验证与演化等技术,为计算系统的正确性和可靠性提供了重要途径。本专刊将收录国内外软件形式化方法研究领域的高水平研究成果,并探讨其在相关领域的核心应用,专刊将与中国计算机学会形式化方法专业委员会合作,收录的论文不仅要通过正常评审程序而且要求在形式
【关键词】： 形式化方法;《软件学报》;中国计算机学会;程序理论;评审程序;研究成果;计算机科学;计算系统;核心应用;数学方法;
【分类号】：+
【正文快照】： 形式化方法起步于对程序理论和语义的研究,历经50多年的发展,成为了计算机科学中的重要领域.它使用严格的数学方法,研究并发展软、硬件系统的建模、设计、+JT-发、验旺与演化等技术,为计算系统的正确性和可靠性提供了重要途径.本专刊将收录W内外软件形式化方法研究领域的高水

【相似文献】

中国期刊全文数据库 前10条

1 李建华;李红革;;形式化及其历史发展[J];自然辩证法研究;2008年08期

2 柴振荣;形式化检验的简化[J];管理科学文摘;1999年05期

3 古天龙;形式化技术及其工业应用:现状与展望[J];桂林电子工业学院学报;2000年04期

4 杨杰,郑明春;形式化方法和对象技术的结合途径研究[J];山东师大学报(自然科学版);2000年02期

5 邓勇,丁峰,沈钧毅;一种结构化形式化说明的方法[J];小型微型计算机系统;2002年06期

6 朱艳龙;;软件形式化方法的研究[J];阴山学刊(自然科学版);2004年02期

7 潘红艳,于全;用于通信网络协议开发的形式化方法[J];计算机工程;2004年02期

8 陈长春,王昭顺;形式化技术应用于软件逆工程的实践研究[J];计算机工程与设计;2005年05期

9 刘瑞成,张立臣;集成实时逻辑与Z++语言的形式化方法[J];计算机工程与设计;2005年11期

10 陈宇;邹盛荣;阳雪平;;形式化B方法数学基础的实例研究[J];常熟理工学院学报;2008年10期

中国重要会议论文全文数据库 前7条

1 李文健;;形式化的涵义及其认识论本质[A];1993年逻辑研究专辑[C];1993年

2 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年

3 郑宇军;石海鹤;薛锦云;;Spec#语言中的形式化特性[A];2005年全国理论计算机科学学术年会论文集[C];2005年

4 雷敏;雷友殉;;一种UML到SDL转换方法的研究与应用[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年

5 苗洁君;王克;;密码模块的形式化设计和验证研究[A];第二十一次全国计算机安全学术交流会论文集[C];2006年

6 缪道期;;评审计算机安全等级[A];第二次计算机安全技术交流会论文集[C];1987年

7 赵晓峰;;城市轨道交通自主化信号系统全面创新实践[A];中国系统工程学会第十八届学术年会论文集——A12系统科学与系统工程理论在各个领域中的应用研究[C];2014年

中国重要报纸全文数据库 前1条

1 殷杰 安军 山西大学科学技术哲学研究中心;21世纪科学哲学的关键词:语境、科学理性与形式化[N];中国社会科学报;2011年

中国博士学位论文全文数据库 前7条

1 钱振江;安全操作系统形式化设计与验证方法研究[D];南京大学;2013年

2 刘强;设计模式的形式化研究及其EMF实现[D];华东师范大学;2011年

3 张鹏;形式化方法在云计算中的应用研究[D];吉林大学;2014年

4 刘洋;网络式软件需求验证的形式化方法研究[D];电子科技大学;2013年

5 王迈;语言形式化原理[D];上海外国语大学;2011年

6 胡静;基于Pi-演算的Web服务形式化描述模型[D];天津大学;2013年

7 周宁;代数化符号模拟验证的应用研究[D];北京交通大学;2015年

中国硕士学位论文全文数据库 前10条

1 Hamza I.Bangura;基于Z规格的软件缺陷形式化方法[D];天津大学;2010年

2 钟琪;软件分析模式的形式化研究[D];西南师范大学;2004年

3 王祥兵;形式化方法的理论及其影响[D];贵州大学;2009年

4 郭忠伟;神经内分泌复杂系统的形式化研究[D];扬州大学;2009年

5 王晓帆;基于模糊数学的形式化开发方法研究[D];西安理工大学;2003年

6 闵洪军;软件工程中形式化方法研究[D];浙江大学;2006年

7 张杨;UML模型形式化转换及验证的研究[D];太原理工大学;2013年

8 匡春临;并发系统的形式化技术研究[D];华侨大学;2008年

9 白锐;ATP系统形式化开发方法的研究[D];兰州交通大学;2014年

10 解方;从UML建模到Z形式化规范的研究[D];太原理工大学;2013年

  本文关键词：《软件学报》软件形式化方法与应用专刊征文通知，，由笔耕文化传播整理发布。

本文编号：332630