填空题 形式化是软件自动化发展的基础。形式化方法是将需求规格说明用 1来描述。典型的有 2及 3。
  • 1、
  • 2、
  • 3、
【正确答案】 1、形式规约语言,    2、基于模型的Z语言,    3、VDM开发方法(维也纳开发方法)    
【答案解析】