|
|||||
|
|
| 安全苛求系统的形式化开发方法 | |
| 引用本文： | 王海峰,陈建明,等.安全苛求系统的形式化开发方法[J].北方交通大学学报,2002,26(6):52-55. |
| 作者姓名： | 王海峰 陈建明 |
| 作者单位： | [1]北方交通大学电子信息工程学院 [2]交通运输学院，北京100044 |
| 摘 要： | 从系统工程的角度出发，基于形式化理论，对安全苛求系统的开发方法进行了研究。首先介绍了安全苛求系统的形式化方法，分析了形式化方法对安全苛求系统的作用；提出了一种安全苛求系统的形式化开发模型（FDM），给出了具体的应用实例。 |
| 关 键 词： | 安全苛求系统 形式化方法 开发方法 系统开发 形式化开发模型 计算机安全 |
| 本文献已被 维普 等数据库收录！ | |