Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
ユースケースシナリオの欠陥検知を目的とした形式手法
- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび
検証技法としてのモデル検証、 その検証結果のフィードバック について
VDM と USDM を組み合わせた 仕様記述方法
形式仕様記述(基礎・VDM 編)
対象を如何にモデル化するか?