PRISM 下载安装
来源:互联网 发布:35岁程序员职业规划 编辑:程序博客网 时间:2024/06/07 14:03
下载地址:
PRISM http://www.prismmodelchecker.org/download.php#download-box
安装:双击你下载的.exe文件
会跳出:
Desktop shortcut:创建桌面快捷方式
Start menu shortcuts:创建开始菜单快捷方式
选择你要安装的位置:
安装成功后,打开:
工具PRISM有4个主要界面:Model模型、Properties属性配置、Simulator模拟器和Log日志记录。在Model界面中编辑模型;在Properties界面中进行规约描述和验证;在Simulator界面种模拟模型的运行;在Log界面记录操作的信息和产生的结果。
阅读全文
0 0
- PRISM 下载安装
- Prism的下载和安装 MVVM
- Ubuntu 下安装Prism
- Prism
- prism
- prism model check 的环境安装设置
- Ubuntu 10.04下安装Prism将webqq变成桌面应用
- 创建第一个基于Prism框架的WPF应用实例(含源码下载)
- Silverlight : Prism
- Prism 简介
- Prism简介
- PRISM基本知识
- Prism简介 Prism之Region
- Prism教程一: Prism简介
- Prism安装、MVVM基础概念及一个简单的样例
- 下载安装
- prism behavior图示
- PRISM模式学习
- 英语单词词频统计
- 使用豆瓣音乐API笔记
- Java多线程学习笔记(一)——Java的非线程安全问题
- javanio中FileChannel写入文件write,追加文件,以及多文件合并
- 【Java】Java虚拟机
- PRISM 下载安装
- socket编程之bind()函数
- 通过JS判断打开PC或H5页面
- java提高篇(六)-----关键字static
- android模拟器配置之genymotion
- 安卓学习历程-第二天
- 表单提交示例(Jsp+Servlet+jQueryForm)
- F1V3.0-15 前端开发环境搭建
- 深入Celery之使用队列以及优先级提高响应