VIENNA DEVELOPMENT METHOD AND IT'S APPLICATION
Cao Chong-hua · Journal of Nanchang University · 2005
This paper introduces a formalized analysis method for software development: Vienna Development Method(VDM). It accounts for the character of Vienna Development Method. Then, it explains in detail two specification of Vienna Development Method: module and Non-module formalized specification and the foundation of testifying mechanism: function and operation formalized specification. Furthermore, It illuminates how to use VDM technology to develop program, and program testifying with function and operation formational specification with a instance.