联盟首页 协同开发 共创软件 开放源码 软件工程 共创论坛 关于联盟
  您的位置 » 开放源码库【成熟】 - 项目摘要 首页 | 分类源码 | 提交源码 | 下载统计 | 原创源码 | 成熟源码 | 代码片断
 
 Java Modeling Language (JML) - 项目摘要
摘要 | 管理 | 论坛
文档 | 软件包

源码库中源码数量为18996
有贡献人员名单:

-= 更多 =-
  • ffdshow
  • jasperreports
  • Air Traffic Controller
  • PoolMan
  • virtualdub-win
  • Apache-SSL-Jserv
  • CppUnit
  • GLgraph
  • FCK editor
  • Async Professional
    • -= 更多 =-

    项目描述:
    The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules. It has tools to do runtime assertion checking, unit testing, generate HTML pages, static checking, and so on.
    Java模型语言 (JML) 是一种可以指定Java模板行为的语言。有运行时间检查、测试工具，生成HTML页面，静态效验等。
    来源：http://sourceforge.net/projects/jmlspecs/
    类别:
    发布者： windzss
    最新发布源码包
    软件包 版本号 日期 本地下载
    jmlspecs    2003-11-18 下载

    原始下载连接(国外) http://heanet.dl.sourceforge.net/sourceforge/jmlspecs/JML.4.1_rc3.tar.gz

      » 合 作 伙 伴