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

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

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