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

编程语言创建，以帮助您与您的Java开发

JML或Java建模语言，是一种行为的接口规范语言，用户可以使用指定的Java模块的行为。

的语言相结合的合约的方法，艾菲尔落叶松家庭的接口规范语言规范的神器出山:www.shenqi73.com表述方法和基于模型的设计。此外，它还采用精化演算的一些元素。

要求：

·的Java

[url=http://www.sot9.com/soft/111442.html][B]JML 0.3.1构建20121219 Beta版_JML 0.3.1 Build 20121219 Beta[/B][/url]

点这里下载->JML 0.3.1构建20121219 Beta版_JML 0.3.1 Build 20121219 Beta [ 下载地址 ]