北陸先端科学技術大学大学院（JAIST）の片山卓也教授，NECなどによるグループは，UML記述の検証ツールを開発中である。文部科学省の「e-Society基盤ソフトウェア」のプロジェクト「高い生産性を持つ高信頼ソフトウェア作成技術の開発」の一環として開発を進めており，NECや，トヨタ自動車なども参加して利用事例に基づく研究を進めている。この11月18日から開催の「Embedded Technology 2005」で参考出展する予定。「年内には一般に公開したい」している。
この記事は会員登録で続きをご覧いただけます
-
会員の方はこちら
ログイン -
登録するとマイページが使えます
今すぐ会員登録（無料）
日経クロステックからのお薦め
日経BP 総合研究所がお話を承ります。ESG／SDGs対応から調査、情報開示まで、お気軽にお問い合わせください。
ブランド強化、認知度向上、エンゲージメント強化、社内啓蒙、新規事業創出…。各種の戦略・施策立案をご支援します。詳細は下のリンクから。
「デジタル＆ソリューション」をキーワードに、多様な事業を展開しています。
日経BPは、デジタル部門や編集職、営業職・販売職でキャリア採用を実施しています。デジタル部門では、データ活用、Webシステムの開発・運用、決済システムのエンジニアを募集中。詳細は下のリンクからご覧下さい。
