DSF

DSFは2012年6月30日にて活動を終了いたしました。
DSFの成果である「形式手法活用ガイド」は、独立行政法人情報処理推進機構 ソフトウェア・エンジニアリング・センター(IPA SEC)の以下Webサイトよりダウンロードできます。

DSFとは

Dependable Software Forum(略称:DSF)は、ソフトウェアの信頼性と安全性向上のために、6社と1機関が共同で研究開発活動を行う団体です。DSFは、信頼・安心して利用できるソフトウェアの設計技術を確立し、開発現場のソフトウェア技術者を支援するとともに、社会生活や経済活動に影響を及ぼす障害が発生するかもしれないというソフトウェア利用者の不安を軽減します。
DSFの成果は広く一般に公開し、IT業界全体へ普及させることを目指します。

What's New

2012年 6月30日
DSFは活動を終了いたしました。
2012年 4月20日
2011年 7月21日
2011年 1月27日
株式会社CSK(現SCSK株式会社)がDSFに参加
2010年11月24日
DSFサイト開設

各社のご紹介

DSFサイトについて

DSFサイトはリンクフリーです。
報告などは不要ですが、リンクはトップページ
(http://www.nttdata.com/jp/ja/dsf/) へお願いいたします。