期刊文章详细信息
关于软件形式化方法
Formal Methods for Software
文献类型：期刊文章
机构地区：[1]重庆师范学院数学与计算机科学系
基 金：国家 8 6 3高科技项目 ( 2 0 0 1AA1132 0 0 ) ;国家自然科学基金 ( 6 0 0 730 2 0 ) ;中国科学院知识工程创新项目 ;中国科学院软件研究所基础研究项目 ;重庆市应用基础研究项目 ;运筹学与控制论市级重点实验室资助项目
年 份：2002
卷 号：19
期 号：2
起止页码：1-4
语 种：中文
收录情况：普通刊
摘 要：简要回顾了形式化方法的发展历程 ,阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约语言与方法 。
关 键 词：软件 形式化方法 规约 验证 演绎证明 模型检测
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
