| 软件开发的形式化方法 |
| |
| 引用本文： | 袁志斌. 软件开发的形式化方法[J]. 广东电脑与电讯, 2008, 0(7): 25-27 |
| |
| 作者姓名： | 袁志斌 |
| |
| 作者单位： | 广东商学院信息学院,广东,广州,510320 |
| |
| 基金项目： | 广东省自然科学基金 , 广东省教育厅自然科学基金 |
| |
| 摘 要： | 随着计算机及软件系统逐步渗透到社会生活的方方面面，对软件可靠性、安全性和保密性的要求也越来越高．本文阐述了形式化方法的定义、重要性及主要研究内容。着重讨论了形式规约方法，以及演绎证明和模型检测等形式验证方法。
|
| 关 键 词： | 形式化方法 规约 验证 |
Formal Methods of Software Development |
| |
| Yuan Zhibin. Formal Methods of Software Development[J]. Computer & Telecommunication, 2008, 0(7): 25-27 |
| |
| Authors: | Yuan Zhibin |
| |
| Affiliation: | Yuan Zhibin (Guangdong University of Business College, Guangzhou 510320, Guangdong) |
| |
| Abstract: | Society is increasingly dependent on computer and software systems to assist us in almost every aspect of daily life,the software reliability,safety and security are strongly required.This paper presents the definition and importance of formal methods, and provides an overview of formal methods,specially discusses specification methods and verification methods that include deductive proving and model checking. |
| |
| Keywords: | formal methods specification verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
