シーペプ ランキングとまとめ
シーペプ タグ
シーペプ 説明
UMLサブセットのための無料のグラフィカル開発環境 Syspectは、言語CSP-OZ-DCに従った正式な意味論を持つUMLサブセットのための無料のオープンソース、グラフィカル開発環境です。 CSP-OZ-DCは、通信とプロセスの動作の指定、メソッドObject-Z、データと操作、および期間の計算を特徴付けるための期間の計算のためのProcess Algebra CSPを組み合わせています。 SySpectを使用すると、ユーザーはコンポーネント、クラス、およびStatediagramsを設計できます。エクスポート中に発生する問題は識別され、視覚的にマークされます。データの形式化のために、ツールは仕様言語Zのグラフィカル入力のように異なる入力可能性を提供します。さらに、ツールは持続時間計算式のためのエディタを備えています。 SySpectは、XMIのモデルの保存と独自のデータ形式をサポートしています。一般的なイメージタイプのグラフィカルエクスポートに加えて、開発環境SySpectはSpecifications.syspectの便利なプレゼンテーションのためのラテックスエクスポートをサポートしています。これらは、仕様の検証(Safety-)プロパティへのモデルチェックツールによって読み取ることができます。現在、モデルチェッカーARMCへの自動接続が利用可能です.SYSPECTモデルは、デュレーションの計算式に対して自動的に検証できます。 ARMCがエラーを検出し、カウンタの例を返す場合、Syspectはこの対比例の例をユーザーフレンドリーな方法でビジュアリングします。
シーペプ 関連ソフトウェア