- トップ
- ニュース
ＤＳＦ、「形式手法」活用ガイド公開
(2010/11/29 05:00)
ディペンダブル・ソフトウェア・フォーラム（ＤＳＦ）は、ソフトウエアの信頼性と安全性の向上を目指す研究...
（残り：173文字／本文：223文字）
(2010/11/29 05:00)
※このニュースの記事本文は、会員登録 することでご覧いただけます。
Journagram→ Journagramとは
PR
情報通信のニュース一覧
- ＮＴＴデータ、オフショア開発強化(10/11/29)
- ＯＥＳＦ、台北市コンピュータ協会と提携(10/11/29)
- 「ＩＢＭｉ」の７社連合、統合ソリューションを全国展開(10/11/29)
- エイシップ、システムＬＳＩ向け実装方式検証ツールを発売(10/11/29)
- ソフトバンククリエイティブ、韓国で電子看板事業に参入(10/11/29)
- ＫＤＤＩ、スマートフォン「ＩＳ０３」発売(10/11/29)
- 日本ＨＰ、特定用途向け製品をＵＮＩＸに対応(10/11/29)
- ＯＳＫ、グループウエアをｉＰａｄに対応(10/11/29)
- 富士通ＢＳＣ、スマートフォン向け安全管理サービスをクラウドで提供(10/11/29)
- ＯＥＳＦ、アンドロイドのオープンラボ開設(10/11/29)
- ＮＲＩ、資産運用会社向けバックオフィス一元管理システムを発売(10/11/29)
- ＤＳＦ、「形式手法」活用ガイド公開(10/11/29)
- ケイ・オプティコム、ブロードバンドサービスをＷｉＭＡＸに対応(10/11/29)
- 経営ひと言／ナビオコンピュータ・森一晃専務「休日の社員交流」(10/11/29)
