维也纳开发方法（Vienna Development Method，VDM）是IBM维也纳实验室于20世纪70年代创立的形式化软件开发方法，基于维也纳定义语言（VDL）发展而来，2018年被收录为计算机科学技术名词 。其规范描述语言Meta-IV具有可扩展性，允许用户根据需要增加新成分 。
VDM采用模块化结构描述系统，包含接口、状态及操作定义，其中状态由分量说明和不变式构成，操作定义涵盖前后置条件 。该方法以一阶逻辑和抽象数据类型为理论基础，数据类型包括集合、序列、映射等复合类型，并通过不变式进行数值约束。后续发展出VDM++版本，增加了面向对象、并行处理等特性，应用于空中交通控制系统开发 。
20世纪60年代，IBM为开发PL/1语言引入形式化方法，1972年维也纳实验室完成PL/1指称语义研究直接推动VDM诞生。1976年Dines Bjorner与Cliff Jones分别拓展研究领域，其成果对RAISE、COLD_K等项目产生直接影响 。
想要了解更多“维也纳开发方法”的信息，请点击：维也纳开发方法百科
