软件开发的形式化方法

• 作者: 袁志斌
• 来源期刊: 电脑与电信
• 学科: 工学
• 关键词: 形式化方法 规约 验证
• 年，卷（期）: 2008,（7）
• 所属期刊栏目: 基金项目
• 页码范围: 25-27
• 页数: 3页
• 分类号: TP3
• 字数: 3300字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-6609.2008.07.015

摘要

随着计算机及软件系统逐步渗透到社会生活的方方面面,对软件可靠性、安全性和保密性的要求也越来越高.本文阐述了形式化方法的定义、重要性及主要研究内容.着重讨论了形式规约方法,以及演绎证明和模型检测等形式验证方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	袁志斌	广东商学院信息学院	6	18	2.0	4.0