Huaweiは静的アナライザーを使用してプログラムコードの欠陥を検索します

静的アナライザーは自動的にプログラム コードを検証し、隠されたコードを見つけます。

その中の欠陥。結果として、書かれたコードの品質が向上します。開発者らは、新しいソリューションは既存のアナライザーよりも効果的であると主張しています。また、本製品はオープンソースとなるため、他社のプログラムテキストのチェックにもご利用いただけます。

Huaweiに加えて、新しい居住者のリストとパートナーには、Ak Bars Digital Solutions、Ozon Technologies、Cyber​​scape Investments、Promvad、Synergy Soft、HightechParkなどを含む15社が含まれていました。

SEZ のもう 1 つのパートナーは KUKA 企業です。ロボット、産業機器、システム機器の世界大手メーカーは、イノポリス大学と協力して、生産プロセスの近代化に関心のある企業向けにコンピテンスセンターを開設します。ソフトウェアが組み込まれた産業用ロボットは、顧客の要求に応じて開発されることになっています。

そして、「オゾンテクノロジーズ」という会社がプロジェクトを発表しましたOZONマーケットプレイスのロジスティクスのロボット化と自動化に関する研究。このプロジェクトは、ロジスティクスセンターのロボット化と、注文の効率的な保管、処理、および配送のためのロボットシステムの開発に関係しています。私たちは独自のソフトウェアとハ​​ードウェアのプラットフォームを設計しています。

読むには さらに

科学者たちは3年間ランボーキツネを捕まえることができませんでした。珍しい動物が森に放たれるのを防ぎます

見えない飛行機はもはや隠れることができません:中国はそれらを見つけるために量子レーダーを作成します

科学者たちは、次の波でコロナウイルスに感染する可能性が高いのは誰かと語った