CAO Chong-hua~1,BAI Si-xue~1,YANG Jin-yun~2(1.Department of Computer Science,Nanchang University,Nanchang 330029,China;2.Jiangxi Mechanical College for Seaffand and Eorkers,Nanchang 330000,China)
Abstract：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
2005, Vol. 29 