ソフトウエアは硬い「テストやレビューをしっかりやれ」「プロジェクト・マネジメントをキッチリ徹底しろ」――今のソフトウエア開発では，誰もが品質確保の確かさを「キッチリ」としか表現できない面がある。 エンジニアリングの実践に程遠いこうした現状から脱却し，ハードウエアと同じ地位を持つ工業製品としてソフトウエア開発を昇華させる必要がある。そのための道具として「形式手法（formal methods）」を知り，見直すべき時が来た。（日経エレクトロニクス 2005年12月19日号 特集より、進藤 智則＝現在は日経Robotics編集長） 第1回：「ソフトは軟らかい。すぐ 直せる」――ひょっとして…まだ，そう思っていませんか？ 第2回：現状はエンジニアリング以前，解釈ミスを減らす方法論へ（1） 第3回：現状はエンジニアリング以前，解釈ミスを減らす方法論へ（2） 第4回：10分で分かる形式的手法 第5回：国内でも成功事例が
