DSF、「形式手法」を開発場面に取り入れる際のノウハウを文書として公開NTTデータ、富士通、NEC、日立製作所、東芝の5社と、大学共同利用機関法人情報・システム研究機構国立情報学研究所が参加している「ディペンダブル・ソフトウェア・フォーラム（Dependable Software Forum、DSF）」は11月24日、活動成果の第1弾として、エンタープライズ市場向けのソフトウェアを対象とした「形式手法活用ガイド」をまとめ、同日よりDSF公式サイトで公開した。 同ガイドは、エンタープライズ系ソフトウェアを開発するプロジェクトメンバーが実際の開発場面に形式手法を導入するときの参考となるもの。形式手法（フォーマルメソッド）は、数理論理学を基盤として、対象システムやソフトウェアの機能、振る舞いについて正確な記述と系統的な検証を行う手法や技術の総称。社会システムや組み込み系ソフトウェアなど、高信頼、高品質が求められる分野を中心に、形式手法に注目が集まっているという。
