形式化方法的本质是（ ）。
将概念转化为形式符号进行研究
直接使用自然语言描述
仅用于程序设计
只能用于需求分析
【考查知识点】形式化方法的基本定义
【选项分析】
A：正确，形式化方法是将概念、判断、推理转化为形式符号后进行研究
B：错误，形式化方法使用形式符号而不是直接使用自然语言
C：错误，形式化方法不仅用于程序设计
D：错误，形式化方法不仅用于需求分析
【教材依据】形式化方法是把概念、判断、推理转化成特定的形式符号后，对形式符号表达系统进行研究的方法。
登录 ｜ 注册 ｜ 回到顶部
版权所有©环球网校All Rights Reserved
