维也纳开发方法（Vienna development method）是2018年公布的计算机科学技术名词。

由IBM的维也纳实验室创立的最早的形式化软件开发方法之一。基于操作语义描述语言VDL（维也纳定义语言）发展而来的一整套软件开发方法和技术。

《计算机科学技术名词 》第三版。

60年代初期，IBM决定开发一种新的程序设计语言来代替FORTRAN和COBOL，这个语言后来称为PL/1。由于这个语言比较庞大，在设计过程中使用了形式化的方法，首先定义了PL/1的操作语义，1972年，奥地利的IBM维也纳实验室做编译系统时又为PL/1写了指称语义，这些工作直接导致了VDM的产生。VDM即维也纳开发方法，是一种使用较早、传播较广的开发方法。VDM的规范描述语言称为Meta-IV，是一种比较松散的语言，它有一个基本的核心，使用者可以根据需要增加新的成分。1976年IBM维也纳实验室开展新的研究方向，VDM的主要创始人Dines Bjorner和Cliff Jones各自回国继续从事VDM的研究，在描述语言、开发方法、应用和理论等多方面取得进展。

VDM的成果影响了后来的RAISE、COLD_K和VVSL等项目的研究。