VDM (Vienna Development Method) 方法是一种针对软件开发的正式规范化方法。它仅用于描述问题域和软件行为，而不是用于设计软件的具体实现。它通过使用逻辑和数学符号来完成这一工作，并通常被视为基于形式化方法的一种子集。
VDM方法主要包括三个方面：
1. VDM-SL：VDM-SL (Specification Language) 是一种用于描述问题域和软件行为的语言，它实现了VDM方法的核心概念。VDM-SL使用数学符号和逻辑来描述问题的精确性和明确性。
2. VDM++：VDM++是对VDM-SL规范的扩展，用于处理面向对象的软件系统。它可以描述类、继承、多态等概念，并将它们转化成用于描述问题域和软件行为的符号。
3. VDM-RT：VDM-RT是VDM语言的实时版本，用于处理实时系统开发。它包括VDM-SL和VDM++的扩展，以支持描述具有时间限制和实时约束的系统。
总之，VDM方法强调精确的描述和形式化方法，以确保问题和解决方案之间的一致性，并帮助开发人员识别和处理潜在的错误和缺陷。