摘要
随着软件形式化方法的不断发展,各种各具特色的形式化方法涌现出来,为了解决在具体的系统开发中如何选取合适的形式化方法,对目前较为流行的几种形式化方法 RSL,B,VDM,Z的特点进行对比分析,然后针对不同的软件开发人员和所需开发系统的不同,给出了适合用形式化方法开发的情况和如何选择合适的形式化开发方法。
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.
出处
《电子设计工程》
2014年第15期30-32,36,共4页
Electronic Design Engineering
关键词
形式化
开发方法
选择策略
RSL, B, VDM, Z
formal method
development method
selection strategies
RSL,B,VDM,Z
