%0 Journal Article
%A 王海峰;陈建明;张仲义
%T 安全苛求系统的形式化开发方法
%D 2002
%R 
%J 星空电竞app2026最新版学报
%P 52-55
%V 26
%N 6
%X 从系统工程的角度出发,基于形式化理论,对安全苛求系统的开发方法进行了研究.首先介绍了安全苛求系统的形式化方法,分析了形式化方法对安全苛求系统的作用;提出了一种安全苛求系统的形式化开发模型(FDM),给出了具体的应用实例.
%U https://jdxb.bjtu.edu.cn/CN/abstract/article_302.shtml