【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/

**デフォルトの名無しさん** · 2013/01/11(金) 06:24:10.24

>Alloy
あー、あの赤いやつね
途中であきらめました

**デフォルトの名無しさん** · 2013/01/11(金) 06:27:52.78

どこで諦めたの? 自分は結構楽しめた。

**デフォルトの名無しさん** · 2013/01/11(金) 22:54:26.79

あきらめたというかフェードアウトした感じかな
たしか半分くらいまでは読んだけど、いつの間にか
読むのをやめてた

形式手法はまったくの素人だったので（今も）
よく分からんかった

**デフォルトの名無しさん** · 2013/01/17(木) 10:49:33.93

>>4 >>5
>IPAの報告書　>第3回形式手法の産業応用ワークショップ
見たけど相変わらずだな。使い物にならんよあんなのじゃ。
人材いないんだなこの方面。

**デフォルトの名無しさん** · 2013/01/18(金) 03:26:26.90

国内だと人材が少ない（しかも学術寄りの人の方が多い）
ってのは実感としてある

形式手法は静的解析のツールとして利用される道の方が明るい気がする
人間が読み書きする形式言語が使い物になる日は来ないと思う

**デフォルトの名無しさん** · 2013/01/18(金) 17:38:42.62

>>12
うん。学術系はだめだ。
実務に近いSRAがやや骨があるようだが。
>人間が読み書きする形式言語
これはどう言う意味かわからんが
>使い物になる日は来ないと思う
そんなことはない。一流人材が参戦すれば変わる。

**デフォルトの名無しさん** · 2013/01/18(金) 19:43:02.15

仕様記述に10日かけて、
プログラムを自動生成して3日で納品できるようになるとすると
ビジネスのありかたとしては
仕様記述で工数を計上して費用請求することになって
今までの設計と大差ないことになるのジャマイカ