版权所有：内蒙古大学图书馆 技术提供：维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
形式化方法与工具专刊前言
Preface to special issue on formal methods and tools作者机构：国防科学技术大学计算机学院并行与分布处理国防科技重点实验室 南京大学计算机科学与技术系 计算机软件新技术国家重点实验室(南京大学)
出 版 物：《软件学报》 (Journal of Software)
年 卷 期：2011年第22卷第6期
页 面：1121-1122页
核心收录：
主 题：形式化 三值模型 运行时验证 语义模型 软件体系 测试用例 AADL 专刊
摘 要：形式化方法是指有严格数学基础的软件和系统开发方法,支持计算机系统及软件的规约、设计、验证与演化等活动.随着高可信软件的兴起,形式化方法作为重要的途径,关注度日益提高.其作用不仅深化了人们对计算系统规律的认识,而且支持了计算系统开发、运行和演化之工具、平台、环境的构建.本专刊收录的11篇论文反映了近年来我国学者在形式化方法与工具领域的部分研究成果.
