Derive

Derive

6.1の導出：記号および数値数学を実行するための強力なシステム。このアプリケーションは現在利用できず、サポートされていません。非公式デモとアップデート
6.1の導出：記号および数値数学を実行するための強力なシステム。このアプリケーションは使用できなくなっているか、サポートされていません。非公式デモとアップデート
derive

ウェブサイト:

特徴

カテゴリー

EclipseのDeriveの代替

Yakindu Statechart Tools

Yakindu Statechart Tools

無料で使用できるオープンソースツールキットYAKINDU Statechart Tools（SCT）は、リアクティブなイベント駆動型の仕様と開発のための統合モデリング環境を提供します。