The development team used VDM-SL to formally specify the system's behavior before implementation.
開発チームはVDM仕様言語を使用して、実装前にシステムの振る舞いを形式的に仕様化した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
