题目内容 (请给出正确答案) [主观题] 形式化是软件自动化发展的基础。形式化方法是将需求规格说明用______来描述。典型的有______及______。 查看答案 如搜索结果不匹配,请 联系老师 获取答案