This paper describes a new object-oriented formal specification technology VDM++: an extension of VDM, and presents a simple example of specifying object-oriented system in VDM++.

• 摘要介绍了一种新的面向对象的形式化规范说明技术VDM++，它是VDM的一种扩充。并且通过一个实例说明如何应用VDM++技术对面向对象系统进行形式化规范说明。