仕様書、設計書について

仕様書、設計書についてat PROG

仕様書、設計書について - 暇つぶし2ch660:仕様書無しさん
12/06/24 15:39:55.23
>>657
何を言いたいのか意味不明なんだが、もしかすると>>657はコードと
一対一に対応するような設計書(仕様書???)を書いているのか？
それとも>>657のコンパイラとは、
Z/VDM/CSPのような形式的仕様記述言語の検証系を指しているのかな？
まさかコンパイラが(構文エラー以外の)論理的なバグまで検出できると本気で思っているの？
訳が分からんわwww

次ページ