【Alloy】形式言語による仕様記述【VDM】at TECH
【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch224:デフォルトの名無しさん
13/10/08 21:47:32.85 .net
>>222

> 形式手法を使う意味は半減するよ。
これが文字通り意味が50%になるって主張なら「同時に成立させてはいけない」とは言ってない。
しかし明らかにこの発言には「識別子の字面に引きずられてはいけない」という
否定的な主張が含まれている。
違うかね?


次ページ
続きを表示
1を表示
最新レス表示
レスジャンプ
類似スレ一覧
スレッドの検索
話題のニュース
おまかせリスト
オプション
しおりを挟む
スレッドに書込
スレッドの一覧
暇つぶし2ch