ソフトウェアは硬い - bonotakeの日記

http://techon.nikkeibp.co.jp/article/HONSHI/20051213/111571/ 日エレまで形式検証を記事にするとは。えー今まじでそういうモードなの？？ 悪いこととは思わないんだけど…記事をざっと読んだけど、さすがにここまで全面肯定的な記事だと、ちょっと違和感があったりして。 というか気になるのは、単に「次の流行りもの」というノリでしか見られてないんじゃないかという、そんな雰囲気がちょっと見え隠れする事で。 5年前くらいは「コードを書く前に上流で設計しなきゃ！」というノリでUMLが流行り、2〜3年前は「上流設計だけじゃダメ。ちゃんとプロセス管理/プロジェクト管理しなきゃ！」という売り文句でCMMやらPMBOKが流行り…で今度は「プロジェクト管理だけじゃダメ。ちゃんと仕様を検証しなきゃ！」って、なんか結局そんなノリなんじゃないかと（事実、そういう風な記

[k1m]

Model Checking が流行りものっぽく扱われてる感を書いた記事と，それに対する住井先生のコメント。