eclipse - 形式化方法：如何在 Eclipse IDE 上安装 CZT 插件？

Question

我读过这个和这个。他们都无法帮助我解决这个问题。在此链接中，存储库中似乎没有任何内容，在此链接中，我按照它所说的每一步操作，但仍然无法为我的 Eclipse IDE获取CZT插件。

如何为 Eclipse IDE安装CZT插件？

注意：我的操作系统是 Ubuntu 16.04 LTS。似乎有一个 .exe 格式的 Eclipse IDE 版本已经启用了 CZT 插件。但由于我的操作系统不支持 .exe 文件，我无法通过这种方式解决此问题。

Answer 1

1- 下载这个 .jar 文件和这个 .jar 文件。

2- 将这两个 .jar 文件放入Eclipse的插件文件夹中。

3-重新启动您的 Eclipse IDE。

现在您已经在 Eclipse IDE 上安装了CZT插件。

但要创建一个新的 CZT 项目，请执行以下步骤：

1-转到文件->新建->项目-> CZT-> CZT项目

2-指定项目的名称，然后单击完成。

3-右键单击您的项目并转到新建-> Z规范

4-指定文件的名称和目录，然后单击完成。

现在您可以在这个新文件中编写您的Z 规范。

这是一个 PDF 文件，它清楚地描述了要做什么。