Slide
Show JP
☰
探り
ログイン
ユーザーアカウントの作成
Upload
×
ダウンロード
No category
- 1 - 【形式手法適用実証実験について】 IPA では、ソフトウェアおよび
Before After
形式手法と仕様記述
Poster
ソフトウエアの信頼性を高めるための
「形式手法」の「適用」について
検証技法としてのモデル検証、 その検証結果のフィードバック について
高信頼ソフトウェア技術の研究動向
システム
資料 - アーキテクチャ指向形式手法に基づく高品質ソフトウェア開発法の
VDM と USDM を組み合わせた 仕様記述方法
3 論理式のテスト
形式仕様記述（基礎・VDM 編）
2 プログラムの証明
ユースケースシナリオの欠陥検知を目的とした形式手法
関連文献、リンク集 - ディペンダブル・システムのための形式手法の実践
手法の選択方法
全文 - 日本ユニシス
JAXAにおける形式手法に対する取組み
2012 年 10 月 19 日 杉本 VDM++の展開 ソフトウェア工学b、院
pdf "抽象"
形式手法と仕様記述
ソフトウェア工学の道具としての形式手法 Formal
