Science Fair Project Encyclopedia
Vienna Development Method
Vienna Development Method (VDM) is a program development method based on formal specification using the VDM specification language (VDM-SL).
References
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details


