首页| JavaScript| HTML/CSS| Matlab| PHP| Python| Java| C/C++/VC++| C#| ASP| 其他|
购买积分 购买会员 激活码充值

您现在的位置是:虫虫源码 > 其他 > 为序曲的建模语言编辑。

为序曲的建模语言编辑。

  • 资源大小:296.91 kB
  • 上传时间:2021-06-30
  • 下载次数:0次
  • 浏览次数:1次
  • 资源积分:1积分
  • 标      签: Eclipseplugin DLTK Overture VDM

资 源 简 介

This Plug-in is built on top of the Eclipse Platform. It is an editor for the Overture modeling language that is based on the Vienna Development Method For the time being it includes the following features: * Syntax highlighting * Outline - Quick outline * Parsing * Type Check * Perspective * Preferences site The project make use of DLTK 1.0. use the following update-site. http://download.eclipse.org/technology/dltk/updates-dev/1.0 only the core is necessary. The update-site for the project is: http://overtureeditor.googlecode.com/svn/trunk/Workspace/org.overturetool.update-site/ A preliminary version of the user guide is available under downloads (http://overtureeditor.googlecode.com/files/userguideDoc00_2.pdf), the user guide will be updated as more features are implemented.

相 关 资 源

您 可 能 感 兴 趣 的

同 类 别 推 荐

VIP VIP