Syspect 1.5.0

ライセンス: 無料 ‎ファイルサイズ: N/A
‎ユーザー評価: 5.0/5 - ‎1 ‎投票

Syspect は、UML2 図を使用してシステムを指定し、それらを CSP-OZ-DC 仕様に変換して正式な検証を行うツールです。

バージョン履歴

  • バージョン 1.5.0 に転記 2010-05-11
    いくつかの修正と更新
  • バージョン 1.5.0 に転記 2010-05-11

プログラムの詳細