ダウンロード
  1. No category

関連文献、リンク集 - ディペンダブル・システムのための形式手法の実践

形式手法と仕様記述

形式手法と仕様記述

- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび

- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび

検証技法としてのモデル検証、 その検証結果のフィードバック について

検証技法としてのモデル検証、 その検証結果のフィードバック について

「形式手法」の「適用」について

「形式手法」の「適用」について

VDM と USDM を組み合わせた 仕様記述方法

VDM と USDM を組み合わせた 仕様記述方法

3 論理式のテスト

3 論理式のテスト

形式仕様記述（基礎・VDM 編）

形式仕様記述（基礎・VDM 編）

対象を如何にモデル化するか？

対象を如何にモデル化するか？