- 184 名前：デフォルトの名無しさん mailto:sage [2013/10/06(日) 11:30:50.49 .net]
- 述語論理も型付集合論も大学の教養レベルの数学で十分なのだから
「人材を集められなかった」のではないと思う。
単に、Zに限らず形式手法なしでもシステムを作れると思ってたんだろ。
だから、Zに限らずモデル規範型の形式手法は顧みられなかった。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
【Alloy】形式言語による仕様記述【VDM】
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef