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

[184 デフォルトの名無しさん 2013/10/06(日) 11:30:50.49]

述語論理も型付集合論も大学の教養レベルの数学で十分なのだから
「人材を集められなかった」のではないと思う。
単に、Zに限らず形式手法なしでもシステムを作れると思ってたんだろ。

だから、Zに限らずモデル規範型の形式手法は顧みられなかった。