VDM指的是Vienna Development Method，是一种软件开发方法论，是由奥地利维也纳大学开发的一门推荐使用形式化方法进行软件开发的方法。

VDM使用了数学基础的形式规范语言来描述系统的需求和设计，全面覆盖了系统需求分析、设计、实现和验证的整个软件开发过程。VDM的核心是基于数学的形式规范语言，可以对系统进行形式化的描述，以保证系统的正确性和可靠性。VDM也提供了一些工具，以支持本方法。

VDM方法论在软件开发行业中应用广泛，尤其是在高科技和大规模系统的开发中。通过VDM方法，开发人员可以在全部的软件开发过程中，对系统进行准确的抽象和规范描述， 以及严密、一致的数学理论，以确保系统的可靠性和有效性。