软件名称：[B]VDMJ 2.0.1[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：1.07 MB
官方主页：Home Page
更新时间：2013-03-09 12:27:00
软件简介:

一个开发应用程序，支持VDM-SL，VDM + +和VDM-RT

VDMJ是专门设计用来提供支持VDM-SL，VDM + +和VDM-RT规范语言，用Java编写的一个基本工具，一个方便，易于使用的工具。它包括一个解析器，类型检查器，解释器，调试器和证明责任产生。使用它的序曲eclipse项目。

下面是一些主要特点“VDMJ”：

·解析，类型检查，执行和调试VDM规格
·生成证明责任
生成详细的神器出山:www.shenqi73.com代码覆盖测试
·进行组合测试
·VDM方言的支持
·支持国际字符集的规格
·支持外部库和远程控制

要求：

·的Java

[url=http://www.sot9.com/soft/99141.html][B]VDMJ 2.0.1[/B][/url]

点这里下载->VDMJ 2.0.1 [ 下载地址 ]