Guajara in other languages: Spanish, Deutsch, French, Italian ...


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.



Wikipedia - All text is available under the terms of the GNU Free Documentation License.

Tagoror dot com  -  Legal Information  -  Contact us