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

热门题目

• 微分方程d2y/dx2+(dy/dx)2+2x=0。的阶数是()
• 下列选项中，属于头脑风暴法的优点有
• 巡回画派
• 简述流动负债的概念及特点。
• “学生渴望认知、理解和掌握知识,以及陈述和解决问题的倾向”,指的是奥苏伯尔所说的（ ）
• 直观行动思维活动的典型方式是()。
• 简述学前儿童科学教育的内涵。
• 有向图中的极大强连通子图称为_______。
• SQL调用包括SQL例程和_______，以便提高SQL的灵活性、有效性、共享性以及使SQL具有更多的高级语言的特征。
• 简述TCP拥塞控制中快速恢复算法的具体做法。
• 独立命名、并且拥有明确定义的实体是
• 下列关于现金流量表的表述中，正确的是（　）。