形式化方法与应用专题前言

doi:10.13328/j.cnki.jos.005219

微信服务号

微信订阅号

首页 > 过刊浏览>2017年第28卷第5期 >1049-1050. DOI:10.13328/j.cnki.jos.005219

PDF HTML阅读 XML下载导出引用引用提醒

形式化方法与应用专题前言
DOI:
                        10.13328/j.cnki.jos.005219
                    
CSTR:
                        
                    
作者:
                        
                        
                    
作者单位:
作者简介:
通讯作者:
中图分类号:
基金项目:

Author:

Affiliation:

Fund Project:

摘要

图/表

访问统计

参考文献

相似文献

引证文献

资源附件

文章评论

摘要:

形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效. 本专刊主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入到评审阶段.每篇稿件经过2位专家的评审,有16篇进入到复审阶段并在第一届全国形式化方法与应用会议（FMAC 2016）上宣读,最后有13篇文章通过终审被收录到本专刊.

Abstract:

参考文献

相似文献

引证文献

引用本文

董威,赵建华,吕鸣松.形式化方法与应用专题前言.软件学报,2017,28(5):1049-1050

复制

文章指标

点击次数:
下载次数:
HTML阅读次数:
引用次数:

历史

收稿日期:2017-01-12
最后修改日期:
录用日期:
在线发布日期: 2017-01-22
出版日期:

微信服务号

微信订阅号

引用本文

分享

文章指标

历史

文章二维码