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++技术对面向对象系统进行形式化规范说明。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载