《软件学报》形式化方法和工具专刊征文通知

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

年 卷 期：2010年第21卷第6期

页      码：F0004-F0004页

摘      要：形式化方法是指有严格数学基础的软件和系统开发方法，可支持计算机系统及软件的规约、设计、验证与演化等活动。随着高可信软件的兴起，形式化方法的关注度日益提高。其作用不仅体现在人们对计算系统规律认识的深入，更体现在对计算系统开发、运行和演化的工具与平台构建的基础性支持。近年来，形式化方法也在向生物科学、物理科学等领域交叉渗透。

主 题 词：形式化方法 高可信软件 征文通知 工具 计算机系统 学报 数学基础 计算系统 

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

核心收录：

馆 藏 号：203105648...