软件名称：[B]GROOVE 4.7.1建立20121116161011_GROOVE 4.7.1 Build 20121116161011[/B]
软件类型：国产软件
运行环境：Win9X/Win2000/WinXP/Win2003/
软件语言：简体中文
授权方式：共享版
软件大小：21.5 MB
官方主页：Home Page
更新时间：2013-02-25 18:16:00
软件简介:

工具的图形和模型转换

槽是一个应用程序设计模式的转型和面向对象的验证，它是围绕着使用的面向对象的系统建模，简单的图形和图形变换模型的转换和操作语义的基础。

这需要一个正式的模型转换和动态语义的神器出山:www.shenqi73.com基础，并且能够通过自动分析所得到的图形变换系统，以验证模型的转换和动态语义，例如使用模型检查。

下面是一些关键“凹槽”的功能：

·图变换
·国家太空探索
·模型检查

要求：

·的Java

此版本中的新功能：

·Bug修正（见SourceForge上）
·现在一直停止之后1000年国家给用户的选择进行勘探
·的LTS显示总是显示使用自定义状态（禁止走了）
·的LTS和状态“选项卡是目前主要的显示选项卡
·配方的支持大大改善，配方在规则列表
·改进的显示启用/探索比赛在规则列表
·支持GROOVY增值（见http://groovy.codehaus.org/）

[url=http://www.sot9.com/soft/70359.html][B]GROOVE 4.7.1建立20121116161011_GROOVE 4.7.1 Build 20121116161011[/B][/url]

点这里下载->GROOVE 4.7.1建立20121116161011_GROOVE 4.7.1 Build 20121116161011 [ 下载地址 ]