Windows 10 Rodin安装教程（附Java 8安装教程）
发布时间
阅读量：
阅读量
由于本学期需要学习Event-B语言。
Event-B 是一种基于传统的谓词演算和定理证明的形式化语言。
该开发环境要求使用基于已下载的3.5版本，并最低需搭配8及以上版本JRE。
__
软件列表
系统：WIndows 10
| 软件 | 安装地址 |
|---|---|
| JDK 8 | https://www.oracle.com/java/technologies/javase/javase-jdk8-downloads.html |
| Rodin | https://wiki.event-b.org/index.php/Main_Page |
安装步骤
安装JDK 8
下载JDK 8
下载版本8需要登录oracle，没有账户的话可以注册一下。
打开下载后的jdk-8u281-windows-x64.exe文件：
点击下一步，可以更改安装路径（也可以按默认路径直接下一步）：
更改安装路径：
点击下一步，更改目标文件夹路径（也可以按默认路径直接下一步）：
点击下一步后就安装成功了：
添加环境变量
右键我的电脑-属性：
并点击高级系统设置
点击环境变量：
点击系统变量-新建：
新建JAVA_HOME，变量值为安装的jdk目录：
变量名：JAVA_HOME
变量值：D:\Program Files\Java\jdk1.8.0_281
配置环境变量Path，双击Path，新建：
建议使用JAVA_HOME进行新建：
%JAVA_HOME%\bin
%JAVA_HOME%\jre\bin
点击确定环境变量配置完成。
有关CLASSPATH设置：从JDK 1.5及以上的版本开始，在配置Java开发环境时我们不必再特意设置classpath环境变量。只需指定Java_Home目录以及系统路径变量path即可完成基本配置工作。
打开cmd分别输入以下三条指令：
java
javac
java-version显示如下内容则jdk 8安装成功。
安装Rodin
下载Rodin
Windows 10下选择rodin-3.5.0.202009111309-74e0e4188-win32.win32.x86_64：
下载解压后直接打开rodin.exe`:
点开后，Workspace可以默认路径也可以自己改路径：
打开后出现如下界面即为安装成功：
如果想要安装插件，点击Help-Install New Software：
在Work with里输入相应名称即可安装。
安装插件过程较慢，可以搭梯子。
全部评论 (0)
还没有任何评论哟~