Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
VDM と USDM を組み合わせた 仕様記述方法
Before After
- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび
形式手法と仕様記述
検証技法としてのモデル検証、 その検証結果のフィードバック について
3 論理式のテスト
「形式手法」の「適用」について
形式仕様記述(基礎・VDM 編)
ユースケースシナリオの欠陥検知を目的とした形式手法
全文 - 日本ユニシス
関連文献、リンク集 - ディペンダブル・システムのための形式手法の実践
pdf "抽象"
VDM-SL,VDM++簡易リファレンス
形式仕様記述言語の利用による仕様書の改善
VDMとUMLを融合した 仕様記述・検証の紹介
インストールおよび 管理ガイド