安全苛求系统的形式化开发方法

• 作者: 张仲义 王海峰 陈建明
• 来源期刊: 北方交通大学学报
• 学科: 工学
• 关键词: 安全苛求 形式化方法 安全性 开发方法
• 年，卷（期）: 2002,（6）
• 所属期刊栏目: 电子信息工程
• 页码范围: 52-55
• 页数: 4页
• 分类号: TP302.1
• 字数: 3530字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-0291.2002.06.013

摘要

从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王海峰	北方交通大学电子信息工程学院	9	111	6.0	9.0
2	张仲义	北方交通大学交通运输学院	33	574	11.0	23.0
3	陈建明	北方交通大学装甲兵工程学院信息工程系	9	275	7.0	9.0