Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
Before After
- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび
形式手法と仕様記述
検証技法としてのモデル検証、 その検証結果のフィードバック について
VDM と USDM を組み合わせた 仕様記述方法
3 論理式のテスト
「形式手法」の「適用」について
形式仕様記述（基礎・VDM 編）
対象を如何にモデル化するか？
2 プログラムの証明
高信頼ソフトウェア技術の研究動向
システム基盤設計における仕様の抽出と記述 形式仕様
コード検査ツールの開発における 検査のためのプログラムの自動生成
ポットの例題による「手軽さ」を考慮した フォーマルメソッド適用の検討
VDM 仕様とテスト設計による 仕様の問題発見に関する評価
研究成果報告書 - KAKEN - 科学研究費助成事業データベース
pdf "抽象"
インストールおよび 管理ガイド
