HOME > お知らせ  > 第9回クリティカルソフトウェアワークショップで、当機構の会員 株式会社フォーマルテック(FT) 早水 公二様が最優秀賞を受賞されました

クリティカルソフトウェアワークショップで当機構の会員様が最優秀賞を受賞

(独)宇宙航空研究機構(JAXA)と(独)情報処理推進機構(IPA)が主催する第9回クリティカルソフトウェアワークショップが2011年11月17日に開催されました。
当機構の会員 株式会社フォーマルテック(FT) 早水 公二様がワークショップで『モデル検査の適用プロセスの提案』を発表し最優秀賞を受賞されました。
この適用プロセスは当機構と(独)産業技術総合研究所(AIST)が提供している「さつき検証サービス」でも運用を開始しており、AISTとFT社で事例を重ねながら精査・改良を進められています。

写真提供 (独)情報処理推進機構

クリティカルソフトウェアワークショップで当機構の会員様が最優秀賞を受賞
 
クリティカルソフトウェアワークショップで当機構の会員様が最優秀賞を受賞

↑ページトップへ