形式手法の文献

本

『形式手法教科書』

『形式手法入門』

============================

J. A. Hall:Seven Myths of Formal Methods IEEE Software,Vol.7,No.5,pp.11-19,1990.

『Seven Myths of Formal Methods』

J. P. Bowen and M. G. Hinchey, Seven More Myths of Formal Methods, IEEE Software,Vol.12,No.4,pp.34-41,1995.

『Seven More Myths of Formal Methods』

J. P. Bowen & M. G. Hinchey: Ten Commandments of Formal Methods, IEEE Computer, Vol.28, No.4, pp.56-63, 1995

2007-xx-xx

『ソフトウェア工学の道具としての形式手法 Formal Methods as Software Engineering Tools』

2010-07/29

『形式手法適用調査調査概要資料』

2011/5/13

形式手法を用いた実践的開発への取り組み

2012/09/28

報告書：形式手法導入課題を解決する「形式手法活用ガイドならびに参考資料」の公開

VDM++、SPIN、Event-Bの適用方法のガイドがある

2012-11-13

厳密な仕様記述を志すための形式手法入門

報告書：実務家のための形式手法教材「厳密な仕様記述を志すための形式手法入門」の公開：IPA 独立行政法人情報処理推進機構

2012/11/15

成功した形式手法導入調査例の分析と発見

2013-01-xx

『厳密な仕様記述における形式手法成功事例調査報告書』

2014-09-16

『中小企業の形式手法への取り組み』

『実務家のための形式手法厳密な仕様記述を志すための形式手法入門第二版形式手法導入に関わるガイダンス』

形式手法導入に関わるガイダンス - IPA(pdf)

2017

『形式手法通論カリキュラム：立案と実施の経験』

2017-04-14

協働ロボットCOROの開発における形式的仕様記述KMLの開発と適用 | PPT

============================

ブログ系

2017-3-09

協働ロボットCOROの開発における形式的仕様記述KMLの開発と適用

2019-03-07

形式手法について調べてみた - Speaker Deck

2020-04-08

ゼロから学んだ形式手法 - DeNA Testing Blog

2020-04-16

AWSでの形式手法の利用 | MaruLabo

TLA+を適用した話とかZelkovaエンジンの話

2021-03-25

形式手法はなぜ流行っていないのか #ポエム - Qiita

2023-05-10

セキュアなスマートコントラクト開発のための形式手法活用（TLA+/Coq入門編） | ドクセル

TLA+, Coq

スマートコントラクト

形式手法のまとめ（随時更新） - Qiita

============================

Wiki

Formal methods | Formal Methods Wiki | Fandom

/pogi-log/Google.icon 形式手法の文献

/pogi-log/Google.icon formal methods reference

/pogi-log/Wikipedia.icon 形式手法の文献 - Wikipedia(日)

/pogi-log/Wikipedia.icon 形式手法の文献 - Wikipedia(英)

#特定の文献リスト #文献まとめ