XJML 1.0

论坛转帖     用户评论

运行环境:WinXP/Win7/Win8/Win10/Win All
软件语言:简体中文
软件类型:国产软件 - 编程软件
授权方式:共享版
软件大小:15.9 MB
推荐星级:
解压密码:
联系方式:暂无联系方式
插件情况:
图片预览:  没有预览图片
更新时间:2013-03-09 12:27:00
下载统计:

  • 好的评价 如果您觉得好,就请您
      100%(25)
  • 差的评价 如果您觉得差,就请您
      0%(0)

XJML 1.0下载地址

XJML 1.0下载

XJML 1.0软件简介

最新发布的相关软件:
  • XJML 1.0

  • 确认和验证你的Java类

    XJML是一个简单的,易于访问和有用的工具,实际上可以读出一个Java类和其合同(XML编写的),然后执行一个验证技术。

    执行下面的验证技术:
    ·运行时断言检查(RAC)。使用JML4c和JML4rt的神器出山:www.shenqi73.com工具。
    ·扩展的静态检查(ESC)。使用ESC/Java2。
    ·全静态程序验证(FSPV),。使用的为什么平台(测试为什么是2.30和Why3 0.71)

    要求:

    ·的Java


    最新发布的相关软件:
  • XJML 1.0
  • XJML 1.0下载地址

    XJML 1.0下载
    广告赞助

    随便看看

    网友评论

    共有 0 位网友发表了评论,得分 0 分,平均 0 分    查看完整评论