Maude Development Tools
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/mdt/files/es.upv.dsic.issi.moment.mdt_2.0.6.zip/download
关于 Maude Development Tools
Maude 开发工具是一组插件,在 Eclipse 中嵌入了毛http://maude.cs.uiuc.edu(或) 。它提供了一个核心插件,它允许任何Java程序使用Maude,以及一组插件,提供基于Eclipse的 IDE
相关软件
-
Electrical LV Calculator 免费试用
快速参考实施《低压电工条例》要求的主要计算。为测量师、工程师或电工提供有用的工具。专为计算:* 最小导线 UNE 20460-5-523 2004 年 11 月,应用或不应用校正系数或通过特定电压降。* 最大电缆 UNE 20460-5-523 2004 年 11 月,应用或不应用校正系数或通过特定电压降。* 自动开关电流 (A)。* 电压降(%V)。* 最大允许功率安装(按安装容量、开关值或通过线路部
-
Ewe Virtual Machine 免费
用于 PocketPC、WindowCE、Linux 和 Zaurus 的便携式设备、PDA 和智能手机以及桌面 Windows 和 Linux 系统的移动 Java VM。
-
XiT Transformation Engine 免费
{XiT 已失效。所有代码都已移动到 XGen+ XiT 是用于管理数据转换的框架。它集成了可插拔的架构,以适应不同的数据转换引擎。模块可以设计为生成源代码,转换 xml
-
Android Taskbar 免费
Android 任务栏是文件夹管理器。组织应用、书签和联系人,如 PC 的启动栏。分组应用程序和联系人,整理凌乱的主屏幕。为什么要使用复杂的主屏幕启动器来整理主屏幕?只需使用一个简单的应用程序就组织应用程序。颜色设置是完全可自定义的。将 Taskbar 放在扩展坞或主屏幕上,它不能更整洁或组织。
-
portletUnit 免费
PortletUnit 是一个 jUnit Java 单元测试框架,用于测试 JSR-168 Portlet。 它建在ServletUnit和冥王星上。 它提供了一个模拟 Portlet 容器,因为 ServletUnit 提供了一个模拟 Servlet 容器。
-
Android Tweaker (PRO) 免费试用
从ROM的开发人员:Jellybam,我们很高兴介绍Android调整器!**看看Android调整器的演变:搜索Android系统免费和PRO***使用前阅读***应用程序需要根权限才能运行*完全兼容性授予非官方ROM像CyanogenMod,AOKP,MIUI,ParanoidAndroid和股票ROM与内核修改。* 各种调整可能会导致问题和问题,如果在股票内核上运行。(只是避免内核,杂项和工具选项卡)*做一个Nandroid之前使用这个简单
-
text-analysis 免费
本项目旨在实现以下文本挖掘技术:文本语言检测、关键字和关键词提取、文本分类、文本聚类、单个或多个文档汇总、剽窃检测。
-
Tiny Shell 免费
Tiny Shell 提供将外壳设施实施到小型系统中所需的最低要求。例如,只要可以从 UART 读取/写入字节,就可以将 shell 添加到嵌入式平台。
-
XOof 免费
XOof 是一个用于记录和开发企业业务应用程序服务层的开发和 XML 规范框架。从规范中,它生成 Java、C# 和 Python 的 WSDL、DocBook、客户端和服务器端代码。
-
Lnu 免费
作为林奈斯大学的学生,这里是连接到Lnu.se/Student。