Ｒｅｐｏｒｔ〜富士通など大手５社が「形式手法」に再注目設計バグの削減に効果、実証実験で判明
日経コンピュータ　第770号　2010.11.24

　「従来型のレビューでは見付けられなかった仕様の誤りや矛盾を次々と発見できた」─。システムの信頼性向上をテーマに活動する業界団体「ディペンダブル・ソフトウェア・フォーラム（ＤＳＦ）」は１１月２４日、システム開発の品質強化につながる実験結果を公表した。ＤＳＦには、ＮＴＴデータ、富士通、ＮＥＣ、日立製作所、東芝と国立情報学研究所で開発標準などを策定する技術者や研究所の研究員が所属する。　ＤＳＦの実験は…