采用形式化语言来表达需求，其目的是为了程序的____验证。

相关题目

• 20世纪60年代以来，随着计算机的广泛应用，软件生产率、软件质量远远满足不了社会发展的需求，成为社会、经济发展的制约因素，这一现
• 在软件开发领域，“描述了系统是什么”的系统模型是
• 一般来说，整个需求的主体是
• 需求描述为“数据A是一种持久性的数据”，则该需求的类型是
• 在结构化分析方法中，“数据的变换单元”指的是