VDM(ViennaDevelopmentMethod)は、IBMのウィーン研究所で1960年代から70年代にかけて開発された形式手法です.
です