Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
形式手法と仕様記述
Before After
- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび
MTAとCASTによるフォーマルアプローチ開発
検証技法としてのモデル検証、 その検証結果のフィードバック について
関連文献、リンク集 - ディペンダブル・システムのための形式手法の実践
VDM と USDM を組み合わせた 仕様記述方法
段階的詳細化手法に基づく鉄道信号へのフォーマルメソッド適用法
「形式手法」の「適用」について
海へ転落する危険性のある道路に安全対策をしてほしい
中島 震
インストールおよび 管理ガイド
