 | コシアムズリーンの実行可能ファイルASMの設計に焦点を当てたプログラム |
| 今すぐダウンロード | |
コシアムズ ランキングとまとめ
広告
- ライセンス:
- Freeware
- 価格:
- FREE
- 出版社名:
- Software Technology Lab
- 出版社のWebサイト:
- オペレーティングシステム:
- Mac OS X
- ファイルサイズ:
- 497 KB
コシアムズ タグ
コシアムズ 説明
リーンの実行可能ファイルASMの設計に焦点を当てたプログラム CREASMは、高レベルの設計、実験的検証、および抽象システムモデルの正式な検証のための支援ツール環境と組み合わせて、リーンの実行可能ASM（抽象状態マシン）言語の設計に焦点を当てています。 このリリースの新機能： ・ChooseRuleプラグイン：条件なしの選択ルールの再評価ドメインのキャッシュされた値を使用します。 これは今修正されています。 ・リストプラグイン：cons（e、l）関数が正しく機能していませんでした。 これは今修正されています。 ・Set Plugin：Set 'Subset'操作がありませんでした。 私はこれがバグを見ました！ :-)このリリースで 'サブセット'操作が追加されました。 ・Choserule、ForallRule、PredicateLogicプラグインのエラーメッセージがいくつか改善されました。
コシアムズ 関連ソフトウェア
