填空题 维也纳开发方法(VDM)是一种形式化的开发方法，软件的需求用严格的描述，然后把描述模型逐步变换成目标系统。