形式化方法与工具专刊前言

摘要：

@@ 形式化方法是指有严格数学基础的软件和系统开发方法,支持计算机系统及软件的规约、设计、验证与演化等活动.随着高可信软件的兴起,形式化方法作为重要的途径,关注度日益提高.其作用不仅深化了人们对计算系统规律的认识,而且支持了计算系统开发、运行和演化之工具、平台、环境的构建.本专刊收录的11篇论文反映了近年来我国学者在形式化方法与工具领域的部分研究成果.

机标关键词：形式化方法、方法与工具、专刊、前言、formal methods、系统开发方法、高可信软件、计算系统开发、计算机系统、演化、研究成果、系统规律、数学基础、关注度、运行、验证、学者、途径、收录、设计

所属期刊栏目：22

分类号：F83;TP3

在线出版日期：2011-09-23（万方平台首次上网日期，不代表论文的发表时间）

页数：共2页

页码：1121-1122