General Modeling Framework for Eclipse
您将能够在 5 秒内下载。
关于 General Modeling Framework for Eclipse
Eclipse 的通用建模框架 (GMF/E) 是一个框架,可用于语言工程师和一般任何想要开发新的正式验证方法,并使用 VIATRA 模拟器进行测试的人。
相关软件
-
FlightBriefer: Mobile Aviators Resource 免费
FlightBriefer 是一个供飞行员使用 WebOS 的应用程序,提供部分 NOAA 添加航空数据服务访问、简单的飞行腿部规划、与 Google 地图、DUATS 飞行简报和飞行计划填充集成的"最近"机场功能,
-
alphaEdit3 免费
alphaEdit3 是 Litestep 配置文件的文本编辑器,基于 Scintilla 控件。它支持语法突出显示、向导、模板和自动完成。
-
lilyxml 免费
使用来自 LilyPond 格式的数据,使用来自百合庞德格式的数据,易于使用的符号系统,具有 xml 的易编辑性。可以使用 nxml 等编辑系统输入符号。 百合 xml 因此转换为百合庞德格式, 支持所有百合庞德输出格式。
-
Bragi 免费
用于解决图形同构问题的包,基于新的 Beta-优化算法。语言 - C++
-
Crypt-Gui 免费
Crypt-Gui 是一个小型、简单且基于 C# 的 gui,与名为 Crypt 的漂亮的加密命令行工具有关,该工具由 Animesh Srivastava 编写。
-
gstradiotuner 免费
GSstreamer 调谐器插件,用于支持 GstTuner 接口的 FM 无线电调谐器。
-
Fentres Libres 免费
"Fentres Libres" 项目是开源程序的汇编,主要在开源许可证下重新发布。它们也大多译成法语。Le projet " FentresLibres " 一个倒, 但 d 'tre une 汇编逻辑自由。
-
greekconversion 免费
简单的应用程序,读取其他希腊语编码的文本文件,并将其转换为 UTF-8。用户可以从其他希腊语编码中选择,并查看转换(到 UTF-8)的文本。
-
ASPShell 免费
ASPShell 是一个简单的 AJAX/ASP 应用程序,它提供了用于管理 Microsoft Web 服务器的 shell 等环境。从 Web 浏览器提交的命令在 Web 服务器上执行。输出将传输回来并在浏览器窗口中转储。
-
YQL Wrapper 免费
我已经写了一个包装类,以帮助使用YQL的项目,YQL是一个非常强大的工具雅虎!,允许您查询网络。