2010年12月08日
STマイクロエレクトロニクス、高セキュリティ規格のセキュア･マイクロコントローラを発表
FME、CASE分野の小規模プロジェクトを支援
FME Tools Repository、オンライン上に
ClearSy、Atelier B 4.0 をリリース
2010年12月06日
ClearSy、ガルダンヌの鉱業学校で形式手法のコースを開催
ClearSy、サンパウロ地下鉄のスクリーンドア制御システムを受注
Praxis と AdaCore、戦略的提携を発表
Altran Praxis社、GENIVI Informant Allianceにコアメンバーとして参加
富士通、ケイデンスのチップ・プランニング技術を採用
メンターグラフィックス、フリースケール･セミコンダクタのプロセッサ向け商用Linuxプラットフォームを発表
メンター・グラフィックスとナショナル・インスツルメンツが提携 テストベンチ開発で販売までの期間短縮へ
Formal Methods Wikiサイト新設
VDM++ユーザにOvertureを紹介するガイド付きツアー
2010年12月03日
カテゴリ未設定記事のテスト投稿
DESTECS プロジェクト開始
カナディアン・パシフィック社、インターロッキングシステムの設計、シミューレーション、形式検証のためのProver iLockを標準に採用
2010年12月01日
重要インフラ等のソフトウェア更新における信頼性確保に関する技術開発プロジェクトPINCETTEの立上げ
形式手法の実践ポータルサイト、プレオープン
2010年11月16日
ディペンダブル・ソフトウェア・フォーラムの設立～国内大手5社、システム障害低減目指して共同研究--「形式手法」に着目～
2010年03月26日
日経Tech On、経産省「フォーマルメソッド導入ガイダンス」プロジェクト紹介
このページの先頭へ戻る