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

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

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

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

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

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

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

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

**デフォルトの名無しさん** · 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

**デフォルトの名無しさん** · 2013/01/06(日) 01:23:51.63

第3回形式手法の産業応用ワークショップ（予稿・スライド）
http://cfv.jp/cvs/event/workshop/2012/09/

第2回・第1回へのリンク有

**デフォルトの名無しさん** · 2013/01/08(火) 01:54:13.02

特許庁の新システム入札やり直すらしいけど
ああいうのこそ形式手法を適用する意義がありそうなものだが

形式手法によってデスマが回避できるというよりは
デスマを回避できる体力があるから形式手法を採用できるってのが
実際なのかもしらん

**デフォルトの名無しさん** · 2013/01/08(火) 06:49:04.96

Alloyの本

抽象によるソフトウェア設計－Alloyではじめる形式手法－
http://www.amazon.co.jp/dp/4274068587

形式手法の本

形式手法入門―ロジックによるソフトウェア設計―
http://www.amazon.co.jp/dp/4274211886/