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

作     者：董威 赵建华 吕鸣松 

作者机构：国防科学技术大学计算机学院湖南长沙410073 南京大学计算机科学与技术系江苏南京210023 东北大学计算机科学与工程学院辽宁沈阳110819 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2017年第28卷第5期

页      码：1049-1050页

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

主 题 词：形式化方法 应用 专题 计算系统 国内外 机械化 工具 技术 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.13328/j.cnki.jos.005219

馆 藏 号：203231128...