| 软件形式化开发方法的选择策略研究 |
| |
| 引用本文： | 彭成,王盼卿.软件形式化开发方法的选择策略研究[J].电子设计工程,2014(15):30-32. |
| |
| 作者姓名： | 彭成 王盼卿 |
| |
| 作者单位： | 军械工程学院,河北石家庄050003 |
| |
| 摘 要： | 随着软件形式化方法的不断发展，各种各具特色的形式化方法涌现出来，为了解决在具体的系统开发中如何选取合适的形式化方法，对目前较为流行的几种形式化方法RSL，B，VDM，Z的特点进行对比分析，然后针对不同的软件开发人员和所需开发系统的不同，给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
|
| 关 键 词： | 形式化 开发方法 选择策略 |
Study selection strategy of software formal method |
| |
| PENG Cheng,WANG Pan-qing.Study selection strategy of software formal method[J].Electronic Design Engineering,2014(15):30-32. |
| |
| Authors: | PENG Cheng WANG Pan-qing |
| |
| Institution: | (Ordnance Engineering College, Shijiazhuang 050003, China) |
| |
| Abstract: | With the continuous development of software formal method, Formal methods for various feature emerged. In order to solve the problem of how to select the appropriate formal methods in system development in the concrete. This paper contains several formal methods RSL, B, VDM, Z at present more popular. And their characteristics are analyzed, Then according to different software developers and the development system. The method developed by form and how to choose the formal development method suitable. |
| |
| Keywords: | RSL B VDM Z formal method development method selection strategies RSL B VDM Z |
| 本文献已被 维普 等数据库收录！ |
|
