Ｒｅｐｏｒｔ〜「形式手法」の企業利用始まる　ＮＴＴデータなど大手ＳＩが現場展開
日経コンピュータ　第808号　2012.5.10

　ソフトウエアの仕様を正しく記述する手法である「形式手法」の利用が企業システムの分野でも本格的に始まる。ＮＥＣ、ＮＴＴデータ、ＳＣＳＫ、東芝、日立製作所、富士通の大手システムインテグレータ６社は２０１２年４月２０日、システム設計書の検証やプロジェクトマネジメントなどに形式手法を利用していく方針を打ち出した（表）。「実際の開発案件に対して、形式手法を早期に適用する体制を整える」と、ＮＴＴデータの木谷…