Examples of using ソフトウェア検証 in Japanese and their translations into English
{-}
-
Colloquial
-
Ecclesiastic
-
Computer
-
Programming
内部ソフトウェア検証の費用を削減。
PC上でのソフトウェア検証（ISOLAR-EVE）。
Software validation on the PC with ISOLAR-EVE.ソフトウェア検証ドキュメント作成。
Software verification document creation.内部ソフトウェア検証の工数と費用を削減。
Eliminate man-hours and expense of internal software validation.本稿ではこれらのソフトウェア検証事例を紹介する。
This paper will introduce these software verification case studies.機能安全プロセス準拠のソフトウェア検証。
Functional safety process compliant software verification.車載ECUソフトウェア検証。
In-vehicle ECU software verification.Preining北陸先端科学技術大学院ソフトウェア検証センター。
Japan Advanced Institute of Science and Technology Software Verification Center.ソフトウェア検証パラメータ。
Software Verification Testing.HESTMは、ハードウェア検証およびソフトウェア検証チーム用のSoC/ASICプリシリコンプロトタイピングソリューション、およびアルゴリズムアクセラレーションのハイパフォーマンスコンピューティング(HPC)プラットフォームです。
HESTM is a SoC/ASICpre-silicon prototyping solution for hardware verification and software validation teams and the High Performance Computing(HPC) platform for algorithms acceleration.ベリサーブグループは、ソフトウェア検証事業者として、常に満足いただける安全かつ高品質なサービスを提供し、お客様の生産性向上に貢献します。
As a software verification business, the VeriServe Group always provides safe and high-quality services that satisfy our customers and contributes to improving customer productivity.弊社は、各新製品をリリースする前に、60,000回以上ものソフトウェア検証テストを実行します。
ANSYS staff perform more than 60,000 software verification tests before releasing each new product.年間保証HES-7は、SoC/ASICハードウェア検証とソフトウェア検証チームに、品質保証済みのFPGAベースのASICプロトタイピングソリューションを、業界最高の1年間保証付きで提供します。
Year Warranty HES-7 provides SoC/ASIC hardware verification and software validation teams with a proven quality, FPGA-based, ASIC prototyping solution backed with an industry leading 1 year limited warranty.ソフトウェア検証テストの結果は、現時点では、正規品ではないソフトウェアを使用している旨の通知をアドビから受け取ったユーザーのみアクセスできます。
At this time the software validation test results are only available to users who have received a notification from Adobe indicating that they are using HES-DVMはシミュレーション・アクセラレーション、エミュレーション、ハイブリッド・バーチャルプロトタイプ、協調エミュレーション、インサーキット・エミュレーション、およびMHzレベルのソフトウェア検証などの業務で、世界中で使われています。
HES-DVM is used in labs worldwide for tasks including simulation acceleration, emulation, hybrid virtual prototypes, co-emulation,in circuit emulation, and software validation at MHz speeds.HES-DVMは世界中の開発現場でシミュレーション・アクセラレーション、エミュレーション、ハイブリッド仮想プロトタイプ、協調エミュレーション、インサーキットエミュレーション、MHzレベルのスピードでのソフトウェア検証などの作業に使われています。
HES-DVM is used in labs worldwide for tasks including simulation acceleration, emulation, hybrid virtual prototypes, co-emulation,in circuit emulation, and software validation at MHz speeds.HES-7は、HES-DVMと併せて、全世界の開発現場でシミュレーション・アクセラレーション、エミュレーション、ハイブリッド・バーチャル・プロトタイプ、協調エミュレーション、高速プロトタイピング、MHzスピードでのソフトウェア検証など色々な用途に使われています。
HES-7, including HES-DVM, is used in labs worldwide for tasks including simulation acceleration, emulation, hybrid virtual prototypes, co-emulation,high-speed prototyping, and software validation at MHz speeds.年に「ソフトウェア検証サービス」を開始してから35年余。
It has been more than 35 years since the launch of our software verification service in 1983.DO-178CのMDDサプリメントによって、全体的なソフトウェア検証プロセスの一環としてモデル検証の必要性が明記された。
One ISOLAR-EVEのバーチャルECUは、開発早期からソフトウェア検証を実施できるので、品質向上と開発期間の短縮を実現できます。
Virtual ECUs from ISOLAR-EVE facilitate software verification for quality improvement and a reduction in development time right in the early development phases.代替手段は正規のソフトウェア検証であり、それはバグがないことを示すために数学的証明の技術を使用している。
The alternative is formal software verification, which uses mathematical proof techniques to show the absence of bugs.ソフトウェア開発プロセスの流れに沿って、要求分析、ソフトウェア設計、ソフトウェア検証の3つの段階についての研修を実施してきました。
In line with the ソフトウェア開発プロセスの流れに沿って、要求分析、ソフトウェア設計、ソフトウェア検証の3つの段階についての研修を継続開催しています。
In line with the これには、NiceLabelの主題専門家が出向し実施する、貴社の品質保証およびプロジェクトチームとのワークショップ、およびすべてのプロジェクト実施段階でのソフトウェア検証が含まれます。
These include on-site workshops with a NiceLabel subject matter expert and the customer's quality assurance andproject team, and software validation throughout all project implementation phases.わたしたちベリサーブグループは、総合的なソフトウェア検証サービス企業グループとして、お客様や産業界、そして社会全体の健全かつ持続的な成長を支えるサービスを創出し、提供し続けることを目指します。
As a comprehensive software verification service group, we at the VeriServe Group aim to continue to create and provide services that support the sound and sustainable growth of customers, industry, and society as ソフトウェア検証のための静的ないし動的解析ツールから始まって,脆弱性を生み出すリスクが本質的に低い新言語,ハイレベルなモデルの修正と並行して(correct-by-construction)ソフトウェアを開発するモデル駆動開発まで。
This goes from tools like static and dynamic analysis to verify software, new languages that have inherently less risk of creating vulnerable, all the way これらの5W以下の通信プロセッサは、航空宇宙および防衛関連の通信システムに最適で、ソフトウェアはPC603eと完全互換であり、信頼性について妥協することなく、最低限のソフトウェア検証コストで容易にシステムのアップグレードが可能です。
These sub 5W communications processors are well-suited for aerospace and defence communications systems and are also fully 組込みソフトウェアの検証。
Verification of embedded software.高度なバッテリサイジングの選択と検証ソフトウェア。
Advanced battery sizing selection and verification software.
