PR

NECは,北陸先端科学技術大学院大学 教授の片山卓也氏のグループらと共同で,組み込みソフトウエアの設計品質を検証する形式検証ツールを開発した。UMLで記述したソフトウエアの設計仕様を数式やパラメータに置き換え,正しく動作するかどうかを理論的に検証できる。設計工程におけるバグを最大で6割~7割,検出できるという。オープンソースの開発ツール「Eclipse」のプラグインとして動作する。

この記事は会員登録で続きをご覧いただけます

日経クロステック登録会員になると…

新着が分かるメールマガジンが届く
キーワード登録、連載フォローが便利

さらに、有料会員に申し込むとすべての記事が読み放題に!
「初割」2/7締切迫る!
>>詳しくは


日経クロステックからのお薦め

【初割 2/7締切】日経電子版とセットで2カ月無料!
日経BPで働きませんか

日経BPで働きませんか

「デジタル&ソリューション」をキーワードに、多様な事業を展開しています。

日経BPは、デジタル部門や編集職、営業職・販売職でキャリア採用を実施しています。デジタル部門では、データ活用、Webシステムの開発・運用、決済システムのエンジニアを募集中。詳細は下のリンクからご覧下さい。

Webシステムの開発・運用(医療事業分野)

システム開発エンジニア(自社データを活用した事業・DX推進)

システム開発エンジニア(契約管理・課金決済システム/ECサイト)