東京証券取引所の設計書を対象とした実験で形式手法の有効性を実証
独立行政法人情報処理推進機構は、株式会社東京証券取引所で実際に運用しているシステムの設計書を対象にして、ディペンダブル・ソフトウェア・フォーラムの活動成果である形式手法…
Home >
コンソーシアム/フォーラム
NEC、米大学・企業と新世代ネットワークの研究開発機関を設立
NECは、米スタンフォード大学、UCバークレー大学、各企業と共同でOpenFlowを利用した新世代ネットワークに関する研究開発機関「Open Network Research Center(ONRC)」を、本年4月に設立しました。…
「スマートシティプロジェクト」にリーディング企業6 社が新たに参加
ツネイシホールディングス株式会社、川崎重工業株式会社、積水ハウス株式会社、東京ガス株式会社、凸版印刷株式会社、日本電気株式会社は、2011 年度より「スマートシティプロジェク…
デジタルグリッドコンソーシアムの活動を開始
非営利型の一般社団法人「デジタルグリッドコンソーシアム」（代表理事：阿部力也、本社：東京都港区、以下：dGridコンソーシアム、本年9月7日設立）は、東京都文京区に研究センター…
