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。