Vienna Development Method

Vienna Development Method (VDM) is a program development method based on formal specification using the VDM specification language (VDM-SL).

---

This article was originally based on material from FOLDOC, used with permission. Update as needed.