形式化方法(FM)  

Formal Method

作　　者：杨红丽[1] 

机构地区：[1]西安邮电学院计算机系

出　　处：《西安邮电学院学报》1999年第2期4-7,47,共5页Journal of Xi'an Institute of Posts and Telecommunications

基　　金：原邮电部中青年科技基金

摘　　要：传统的开发方法一般基于自然语言的描述，不能表达明确的语义；本文介绍的形式化方法（ＦＭ）是基于形式逻辑和离散数学的，特别适用于安全重要性系统的说明、设计和构造。t traditional develop methods based on natural language cannot express semantic details,In this paper,formal method based on formal logic and diverse mathematics is introduced,This method specifically appropriate to safetycritical system.

关 键 词：形式化方法 形式逻辑 离散数学 FM 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]