G-UML
您将能够在 5 秒内下载。
关于 G-UML
编程语言和工具允许:为Java、C#、C++,..;验证代码正确性和形式属性。其目的是允许组件的最大可重复性(不依赖于语言),以及证明它们的正确性。
相关软件
-
XBMC / Boxee Remote 免费
XBMC/ Boxee 的遥控器。请卸载 v1.0!!!v3.1* 首选项中的配置文件支持v2.2* 次要错误修复v2.1* 小错误修复, 使其与窗口 Xbmc 工作v2.0* 更大的图标* 使用键盘输入文本* 更多按钮• 错误修复v1.0*浏览视频,音乐和图片和相应的播放列表* 在列表视图中播放或排队项目
-
tksolfege ear training program 免费
Tksolfege 是一个耳朵训练计划,用于学习识别和弦、间隔、执行节奏听写、索夫格听写和唱歌的奏歌序列。该程序需要 Tcl/Tk 8.4,但是 Windows 可执行文件内置了 Tcl/Tk。
-
cfGlitch 免费
cfGlitch 是一个简单的软件错误跟踪系统写在冷融合。它设计用于在开发人员的工作站(顾问理想)以及开发服务器(开发团队)上运行。
-
Adv Battery Savior 免费
电池小部件估计电池寿命。你可以优化电池寿命与这个应用程序关闭蓝图设备,wifi设备,屏幕亮度和杀死一些应用程序,你不需要。
-
AutoIT in Ada 免费
这是一个 Ada 绑定到 AutoITX 一个测试自动化界面 win32 图形用户界面。
-
btPair 免费
btPair 是蓝牙配对帮助程序。现在是免费的。当你想配对或取消配对蓝牙设备时, 你曾经被 Android 惹恼过吗?每次去设置 - > 无线 & gt; 蓝牙设置 - > Blahb...?嗯,我是.这就是我写 btpair 的原因。你可以取消配对和修复这些,如果他们在您身边和可用。当您单击"扫描"时...将显示您周围的所有可见设备。绿色或红色图标告诉您,如果设备已配对。单击设备将立即配对或取消配对设备。就是这样!很简单,嗯?如果出
-
phpMD / PHP CodeSniffer Netbeans Plugin 免费
Netbeans PHP 插件提供 PHP Mess 探测器检测到的违规行为 (phpmd.org 由曼努埃尔 · 皮克勒) 和 PHP 代码嗅探器 (http://pear.php.net/package/PHP_CodeSniffer/) 的警告 / 信息
-
Pequel ETL Data Transformation Engine 免费
全面、高性能的数据分发与转换系统。具有简单、用户友好的事件驱动脚本界面,可透明地生成和执行高效的 Perl/C 代码。用途:ETL、数据设备、统计、数据清理。
-
GenealogyGedcom 免费
2008 年 PEAR 系列软件包的 Gedcom 5.5.1 Genealogy_Gedcom版本。此新版本将利用 PHP 5.3 并符合 PEAR2 标准。一旦此版本稳定下来,5.5.1 之前对 Gedcom 版本的支持将按请求进行评估。
-
JInsect 免费
JINSECT 工具包是基于 Java 的工具包和库,支持并演示在自然语言处理应用程序中使用 n-gram 图形,范围从总结和摘要评估到文本经典化和索引。