###
Journal of Software:2017.28(5):1049-1050

形式化方法与应用专题前言
董威,赵建华,吕鸣松
(国防科学技术大学 计算机学院, 湖南 长沙 410073;南京大学 计算机科学与技术系, 江苏 南京 210023;东北大学 计算机科学与工程学院, 辽宁 沈阳 110819)
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 1599   Download 1712
Received:January 12, 2017    
> 中文摘要: 形式化方法以严格的数学化和机械化方法为基础来规约、设计、构建、验证、演进计算系统,是改善和确保计算系统质量的重要方法,其模型、技术和工具已延伸成为计算思维的重要载体,在国内外持续被关注和研究.在各种领域需求的推动下,形式化方法的相关理论、技术和工具越来越受重视,并在多种关键领域的应用中取得显著成效. 本专刊主要关注国内形式化方法的最新研究进展及其在特定领域的应用,共征得投稿37篇,其中36篇通过特约编辑形式审查进入到评审阶段.每篇稿件经过2位专家的评审,有16篇进入到复审阶段并在第一届全国形式化方法与应用会议(FMAC 2016)上宣读,最后有13篇文章通过终审被收录到本专刊.
中文关键词:
Abstract:
keywords:
文章编号:     中图分类号:    文献标志码:
基金项目:
Foundation items:
Reference text:

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

..Journal of Software,2017,28(5):1049-1050