Vienna Development Method

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

Template:Compu-stub

References

This article was originally based on material from the Free On-line Dictionary of Computing, which is licensed under the GFDL.
Retrieved from "https://academickids.com:443/encyclopedia/index.php/Vienna_Development_Method"
Navigation

<MenuNavigation7>

Toolbox
Personal tools