Maude Development Tools

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 3.0/5 - ‎1 ‎投票

Maude 開発ツールは、Eclipse にモーデインタプリタ (http://maude.cs.uiuc.edu) を埋め込むプラグインのセットです。これは、任意のJavaプログラムがMaudeを使用することを可能にするコアプラグイン、およびEclipseベースのIDEを提供するプラグインのセットを提供します

バージョン履歴

  • バージョン files に転記 2010-10-27
    いくつかの修正と更新
  • バージョン N/A に転記 2010-10-27

プログラムの詳細

  • カテゴリ: 開発 >
  • パブリッシャー: mdt.sf.net
  • ライセンス: 無料
  • 価格: N/A
  • バージョン: Array
  • プラットフォーム: windows