ダウンロード
  1. No category

VDMとUMLを融合した 仕様記述・検証の紹介

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

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

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

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

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

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

3 論理式のテスト

3 論理式のテスト

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

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

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

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

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

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