Formal Method (VDM++)

 Formal method is a fourth year software engineering course in UNIMAS.
VDM is a tool used for the study of formal method. 
VDM stands for "The Vienna Development Method": a collection of techniques for the formal specification and development of computing systems.
What is VDM?
-the use of mathematics notation
-analyse formal method to prove consistency and correctness
-methods use various representation:natural language,in forms of diagram (Example:structure approach & OO methods)

Tools used in learning VDM++ language?
Download VDM++ Toolbox
How is the structure of VDM
Ah,well,it looks like this:

VDM structure

VDM ++ toolbox

P.S:Want to know more VDM ++,download the tool editor to experience the language yourself :)