【Alloy】形式言語による仕様記述【VDM】

[1 デフォルトの名無しさん 2013/01/05(土) 21:09:06.67]

スレがないので立ててみた

参考ページ
http://en.wikipedia.org/wiki/Formal_methods
http://ja.wikipedia.org/wiki/%E5%BD%A2%E5%BC%8F%E6%89%8B%E6%B3%95

[2 デフォルトの名無しさん 2013/01/05(土) 21:33:15.76]

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

[3 デフォルトの名無しさん 2013/01/06(日) 01:05:45.32]

>>1乙
VDMはともかくAlloyってこの分野で流行ってるの？

[4 デフォルトの名無しさん 2013/01/06(日) 01:16:08.51]

ついでだからIPAの報告書
（個人的には形式手法を良とするバイアスがかかっているように思うが）

「形式手法適用調査」報告書
http://sec.ipa.go.jp/reports/20100729.html

「情報系の実稼働システムを対象とした形式手法適用実験報告書」
http://sec.ipa.go.jp/reports/20120420.html

形式手法導入課題を解決する「形式手法活用ガイドならびに参考資料」
http://sec.ipa.go.jp/reports/20120928.html

実務家のための形式手法 教材「厳密な仕様記述を志すための形式手法入門」
http://sec.ipa.go.jp/reports/20121113.html