【Alloy】形式言語による仕様記述【VDM】at TECH【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト2:デフォルトの名無しさん 13/01/05 21:33:15.76 .net このスレッドは天才チンパンジー「アイちゃん」が 言語訓練のために立てたものです。 アイと研究員とのやり取りに利用するスレッドなので、 関係者以外は書きこまないで下さい。 京都大学霊長類研究所 3:デフォルトの名無しさん 13/01/06 01:05:45.32 .net >>1乙 VDMはともかくAlloyってこの分野で流行ってるの？ 4:デフォルトの名無しさん 13/01/06 01:16:08.51 .net ついでだから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 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch