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

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

【Alloy】形式言語による仕様記述【VDM】 - 暇つぶし2ch247:デフォルトの名無しさん
13/10/16 01:58:15.28 .net
技術として否定的（悲観的というべきか）であっても
形式主義の否定はしてないんじゃ？
表現が拙いだけで

「通常のソフトウェア工学」とかしれっと言っちゃうあたり
>>246も大して変わらんレベルなような印象を受けるが

次ページ

続きを表示

1を表示