问答题
简答题
什么是形式化方法？
【参考答案】
形式化方法是基于严密的、数学上的形式机制的开发方法。它包括形式规格，以及支持规格语言的语法检查和规格属性证明的方法和工具......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
相关考题
