Software Reliability Enhancement Center

Software Reliability
E n h a n c e m e n t C e n t er
Information-technology Promotion Agency, Japan
形式手法は何に使えるか？
IPA/SEC 連携委員
新谷勝利
(NewYork Times)
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
トピックス
最近「形式手法」って聞くようになったが。
何故形式手法？
IPA/SECの形式手法入門教材から
SECからの提供物
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
2
最近「形式手法」って聞くようになったが。。
 ２０１３ Japan IT Week 春
 専門セミナー：「形式手法による組込みソフトウェア品質向上」
 IPAブース展示
 ISO/IEC 15408 ITセキュリティ評価及び認証制度
 「形式手法セミナー」でWebをサーチ
 実にたくさんヒット
 「形式手法」でAmazonの本カテゴリーをサーチ
 実にたくさんヒット
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
3
何故形式手法？ IPA/SECの形式手法入門教材から
■「報告書：実務家のための形式手法 教材「厳密な仕様記述を志すための形式手法入門」の公開」より引用
http://www.ipa.go.jp/sec/reports/20121113.html
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
4
何故形式手法？ IPA/SECの形式手法入門教材から
■「報告書：実務家のための形式手法 教材「厳密な仕様記述を志すための形式手法入門」の公開」より引用
http://www.ipa.go.jp/sec/reports/20121113.html
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
5
何故形式手法？ IPA/SECの形式手法入門教材から
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
6
何故形式手法？ IPA/SECの形式手法入門教材から
■「報告書：実務家のための形式手法 教材「厳密な仕様記述を志すための形式手法入門」の公開」より引用
http://www.ipa.go.jp/sec/reports/20121113.html
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
7
何故形式手法？ IPA/SECの形式手法入門教材から
■「報告書：実務家のための形式手法 教材「厳密な仕様記述を志すための形式手法入門」の公開」より引用
http://www.ipa.go.jp/sec/reports/20121113.html
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
8
SECからの提供物
 厳密な仕様記述を志すための形式手法入門
 教材（７つの独立した教材モジュール＋参考資料）
 副読本－対象を如何にモデル化するか？
 副読本－厳密な仕様記述入門
 形式手法実践に関する国内外の調査資料
 形式手法に関するセミナー資料
 形式手法に関するSECジャーナル連載
＊：全てSECホームページからダウンロード可
さらに、SEC配布のDVDに収納
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
9
ご清聴ありがとうございます。
ご質問等は、SECホームページ
「お問い合わせ」ボタンでお願いします。
Copyright © 2013 IPA, All Rights Reserved
Software Reliability Enhancement Center
10