「SPECIFICATION VERIFICATION」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

DATA SPECIFICATION DESCRIPTION DOCUMENT AND VERIFICATION DATA GENERATION DEVICE例文帳に追加

データ仕様記述文書および検証データ生成装置 - 特許庁

COMMUNICATION PROTOCOL SPECIFICATION COMPLIANCE VERIFICATION SYSTEM例文帳に追加

通信プロトコル仕様適合検証システム - 特許庁

APPARATUS, METHOD AND PROGRAM FOR CREATING PROGRAM VERIFICATION SPECIFICATION例文帳に追加

プログラム検証仕様生成装置、方法およびプログラム - 特許庁

SPECIFICATION DEFECT VERIFICATION SYSTEM, METHOD THEREOF, AND PROGRAM例文帳に追加

仕様欠陥検証システム、その方法及びプログラム - 特許庁

To generate information for verification that encompasses constrained conditions for each verification item for design specification.例文帳に追加

設計仕様の検証項目毎の制約条件を網羅する検証用情報を生成すること。 - 特許庁

To provide a verification evaluation device evaluating efficiently verification in a function specification level.例文帳に追加

機能仕様レベルでの検証の評価を効率的に行う検証評価装置を得る。 - 特許庁

ALARM RELEASE METHOD BY VERIFICATION OF EARLY EARTHQUAKE SPECIFICATION ESTIMATING INFORMATION例文帳に追加

早期地震諸元推定情報の検証による警報の解除方法 - 特許庁

To provide a software development environment with a design specification verification tool.例文帳に追加

設計仕様検証ツール付きのソフトウェア開発環境を提供する。 - 特許庁

To support verification of matching property between a specification and a control program.例文帳に追加

仕様書と制御プログラム間の整合性の検証を支援すること。 - 特許庁

To improve verification accuracy by preventing the occurrence of a pseudo error to a verification object with only the outer edge specification defined without the thorough definition of internal specification of the verification object.例文帳に追加

検証対象の内部仕様を漏れなく定義することなく、外端の仕様のみが定義された検証対象に対して、擬似エラーの発生を抑止し、検証精度を向上させる。 - 特許庁

A model verification code generation part 27 generates a model verification code wherein the specification of the system is described, from the domain specialization model (the verification target) based on a "domain specialization model To model verification code mapping rule".例文帳に追加

モデル検証コード生成部２７は、「ドメイン特化モデルＴｏモデル検証コードマッピングルール」に基づいて、ドメイン特化モデル（検証対象）から、当該システムの仕様を記述したモデル検証コードを生成する。 - 特許庁

ELECTRONIC SOFTWARE DESIGN SPECIFICATION DOCUMENT VERIFICATION METHOD AND DEVICE, AND COMPUTER-READABLE MEDIUM例文帳に追加

電子ソフトウェア設計仕様文書検証方法及び装置、並びにコンピュータ可読媒体 - 特許庁

1 Adapted from ISO 14064-3, "Specification with guidance for the validation and verification of greenhouse gas assertions" (2005). 例文帳に追加

ISO14064－3「温室効果ガスの検証・認証にかかわる規定の明細」（2005 年）からの抜粋 - 経済産業省

INFORMATION COMMUNICATION EQUIPMENT, VERIFICATION SERVER, COMMUNICATION SYSTEM, LEAKAGE SOURCE SPECIFICATION METHOD FOR COMMUNICATION DATA, AND LEAKAGE SOURCE SPECIFICATION PROGRAM FOR COMMUNICATION DATA例文帳に追加

情報通信装置、検証サーバ、通信システム、通信データの漏洩元特定方法及び通信データの漏洩元特定プログラム - 特許庁

A verification item extraction means M33 extracts prescribed items including treating business specification information, generation time specification information, and cost information from a treating business storage means M31 as verification item information.例文帳に追加

検証項目抽出手段Ｍ３３は、処理業務記憶手段Ｍ３１から処理業務特定情報、発生時特定情報、及び費用情報を含む所定の項目を検証項目情報として抽出する。 - 特許庁

A signature verification terminal can carry out verification offline, and the specification or the denial of the signer is carried out between the signature forming terminal and the signature verification terminal online.例文帳に追加

署名検証端末は、検証をオフラインで実施でき、署名者の特定又は否認は署名検証端末との間のオンラインでの実施となる。 - 特許庁

A verification processing part 8 extracts data necessary for verification processing from the execution model file 3, and extracts necessary data from the requirement specification file 2 to perform verification.例文帳に追加

検証処理部８は、実行モデルファイル３から検証処理に必要なデータを抽出するとともに要求仕様ファイル２からも必要なデータを抽出して検証を行う。 - 特許庁

A model verification execution part 30 executes Spin with the model verification code as input, and acquires data indicating a counter example of the specification of the system as a verification result (the counter example).例文帳に追加

モデル検証実行部３０は、モデル検証コードを入力としてＳｐｉｎを実行し、当該システムの仕様の反例を示すデータを検証結果（反例）として取得する。 - 特許庁

The automated design specification verification tool automatically determines, for one or more functions defined in a first section of a design specification, whether respective function names are declared in a second section of the same design specification.例文帳に追加

自動化された設計仕様検証ツールが、設計仕様の第１セクションで定義されている１つまたは複数の関数について、各関数名が同一設計仕様の第２セクションで宣言されているかどうかを自動的に判定する。 - 特許庁

In this verification device 20, a domain specialization model (a verification target) generation part 24 generates the domain specialization model (the verification target) wherein a specification of a specific system is described according to a domain specialization model grammar from a UML (Unified Modeling Language) model 13 (the verification target) wherein the specification of the system is described in UML based on a "UML model To domain specialization model mapping rule".例文帳に追加

検証装置２０において、ドメイン特化モデル（検証対象）生成部２４は、「ＵＭＬモデルＴｏドメイン特化モデルマッピングルール」に基づいて、特定のシステムの仕様をＵＭＬで記述したＵＭＬモデル１３（検証対象）から、当該システムの仕様をドメイン特化モデル文法に従って記述したドメイン特化モデル（検証対象）を生成する。 - 特許庁

This method is constituted by providing an ISA specification analyzing step S101 to analyze the ISA specification of a processor, a creating step S103 of verification program generation data to create data to be required for generation of the verification program and a verification program generating step S105 to generate the verification program by using the data.例文帳に追加

プロセッサの命令セットアーキテクチャ（ＩＳＡ）仕様を解析するＩＳＡ仕様解析ステップ（Ｓ１０１）と、検証プログラムの生成に必要なデータを作成する検証プログラム生成データ作成ステップ（Ｓ１０３）と、前記データを用いて検証プログラムを生成する検証プログラム生成ステップ（Ｓ１０５）とを有する。 - 特許庁

Since each model receives data through the bus model 121 independently from the specification, it can receive data of the specification 1 even when the specification of the model that is a transmission destination does not reflect the specification of the bus model 121, and an accurate simulation is executed to allow appropriate verification.例文帳に追加

また、各モデルは、仕様に依存することなくバスモデル１２１を介してデータを受信することができるため、送信先となるモデルの仕様がバスモデル１２１の仕様が反映されていなくても、仕様１のデータを受信することができ、正確なシミュレーションが実行され、適切な検証が可能となる。 - 特許庁

The peripheral circuit simulator 20 outputs a peripheral circuit output signal based on specifications represented by the output specification signal to the verification objective circuit 13.例文帳に追加

周辺回路シミュレータ２０は、出力仕様信号が示す仕様に基づく周辺回路出力信号を検証対象回路１３へ出力する。 - 特許庁

Dot parameter verification is then performed to verify mark location and configuration between the received image and a pre-defined template dot specification.例文帳に追加

次に、ドット・パラメータ検証を行い、受け取った画像と所定のテンプレートのドット仕様との間のマーク位置及び構成を検証する。 - 特許庁

A vocabulary verification part 27 verifies similar properties for a row in the specification data with the row to detect difference between vocabularies.例文帳に追加

語彙照合部２７は、仕様データにおける行に対する類似プロパティと当該行とを照合して、語彙の相違を検出する。 - 特許庁

To provide a technique of verifying whether a non-function request set as a specification is satisfied in a verification object.例文帳に追加

検証対象において、仕様として設定した非機能要求が満たされているか否かを検証する技術を提供する。 - 特許庁

This verification support apparatus 300 is constituted of an input part 301, a specification part 302, a detection part 303, an extraction part 304, and a preparation part 305.例文帳に追加

検証支援装置３００は、入力部３０１と、指定部３０２と、検出部３０３と、抽出部３０４と、作成部３０５と、から構成されている。 - 特許庁

The connection specification 1 of a verification object circuit is read and the property 4 is created by a property creating means 3.例文帳に追加

検証対象回路の接続仕様１を読み込みプロパティ生成手段３によりプロパティ４を生成する。 - 特許庁

DEVICE AND METHOD FOR API SPECIFICATION VERIFICATION, PROGRAM FOR EXECUTING THE SAME, AND STORAGE MEDIUM FOR STORING THE SAME例文帳に追加

ＡＰＩ仕様検証装置及び方法、当該方法を実行させるプログラム、当該プログラムを格納する記憶媒体 - 特許庁

To provide a verification device and method for eliminating any error in a design specification of a printed circuit board in an early stage.例文帳に追加

プリント基板の設計仕様書における誤りを早期に排除することのできる検証装置及び検証方法を提供する。 - 特許庁

To provide a UI (user interface) design verification apparatus which can automatically verify UI behavior specification of products expressed with diagrammatic notation like a UML (unified modeling language).例文帳に追加

ＵＭＬのような図式表記で表現された製品のＵＩ挙動仕様を自動的に検証できるＵＩ設計検証装置を提供する。 - 特許庁

ELectronic data of verification object DUT specifications 21, a various DUT specification libraries 26, a test item library 22, a test specification library 27, a verification library 24, a test template group 25, correspondence information 28, and a DUT library 29 are stored in the database part 20.例文帳に追加

データベース部２０は、検証対象ＤＵＴ仕様２１、各種ＤＵＴ仕様ライブラリ２６、テスト項目ライブラリ２２、テスト仕様ライブラリ２７、検証ライブラリ２４、テストテンプレート群２５、対応情報２８、ＤＵＴライブラリ２９の電子データを格納する。 - 特許庁

The verification data creation device 10 creates, based on the data specification description document 30, verification procedure data (XSLT script) 40 for computationally verifying whether each element contained in the object XML document 50 satisfies the condition described in the data specification description document 30.例文帳に追加

検証データ生成装置１０は、データ仕様記述文書３０を元にして、対象のＸＭＬ文書５０に含まれる各データ要素がこのデータ仕様記述文書３０に記述された条件を満たすか否かをコンピュータで検証するための検証手順データ（ＸＳＬＴスクリプト）４０を生成する。 - 特許庁

Verification of the infrared thermal image array module mainly includes a thermal image module specification design, epitaxial, and optical property verification, and first of all, an epitaxial parameter is calibrated.例文帳に追加

主に本発明の赤外線熱影像アレーモジュールの検証は、熱影像モジュール規格設計、エピタキシャルと光学物性検証を含み、先ずエピタキシャルパラメーターの校正を行う。 - 特許庁

To improve reliability and efficiency in the verification of a ratio circuit by automating the specification of a signal collision spot, the extraction of the ratio circuit and the generation of an input pattern for ratio circuit verification.例文帳に追加

信号衝突箇所の特定、レシオ回路の抽出、レシオ回路検証用の入力パターンの作成を自動化し、レシオ回路検証に際しての信頼性および効率化の向上を実現する。 - 特許庁

An RTL bug or a verification scenario bug can be also manually corrected by referring to the expected value list 130 or output from the logic specification verification device 300.例文帳に追加

また、ＲＴＬバグや検証シナリオバグも期待値リスト１３０や論理仕様検証装置３００からの出力を参照することで、人手により修正することができる。 - 特許庁

When the cause result description data 111 are inputted, a verification property 112, a verification scenario 113, specification data 114, and review information 115 or the like are automatically generated and outputted.例文帳に追加

原因結果記述データ１１１が入力されると、検証プロパティ１１２、検証シナリオ１１３、仕様書データ１１４、レビュー情報１１５などが自動的に生成、出力される。 - 特許庁

To provide a certification research agency verification system and a certification research agency verification program, allowing specification of an improper research agency by verifying whether or not a certification research result by a research agency is proper.例文帳に追加

調査機関による認定調査結果が適切であるかを検証することにより、不適切な調査機関を特定できる認定調査機関検証システム及び認定調査機関検証プログラムを提供する。 - 特許庁

If the program does not satisfy the internal specification 2, a verification result report 3 which shows a verification result as an erroneous position of the program is outputted.例文帳に追加

検証対象プログラムが内部仕様２を満足することができなかった場合は、検証結果をプログラムの誤り位置として示す検証結果報告書３を出力する。 - 特許庁

To reduce restrictions on network media to which a device to be verified is connected and distance and numerical restrictions between a verification side and the device to be verified, in a communication protocol specification compliance verification system.例文帳に追加

通信プロトコル仕様適合検証システムにおいて、被検証機器が接続されるネットワークメディアに対する制約、および、検証側と被検証機器との距離的、数的な制約を低減する。 - 特許庁

To provide a requirement specification automatic verification system which automatically generating an execution model in the description language of a model verification tool SPIN from requirement specifications to verify requirement specifications in an early stage.例文帳に追加

要求仕様からモデル検査ツールSPINのモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁

In a system verification system, a function checker 29 compares a verification result of a test program 23 by an instruction level simulator 25 to a result from a function simulator 17 verifying an HDL 13 based on event information representing the verification item 11 related to operational specification.例文帳に追加

たとえば、テストプログラム２３を命令レベル・シミュレータ２５により検証した結果と、動作仕様に関する検証項目１１をイベントで表現したイベント情報にもとづいて、ＨＤＬ１３を検証した機能シミュレータ１７の結果とを機能チェッカー２９により比較する。 - 特許庁

To provide a verification device and a verification method capable of exhaustively verifying transition of various kinds of machine instructions even when execution results of an arithmetic instruction obtained from a reference model and a verification target circuit model do not match because an arithmetic result is not a definite value as an instruction specification.例文帳に追加

命令仕様として演算結果が確定値で無いためにリファレンスモデルと検証対象回路モデルから得られる該演算命令の実行結果が一致しない場合も、各種機械語命令の遷移を網羅的に検証することが可能な検証装置および検証方法を得ること。 - 特許庁

To easily and cyclopaedically verify logical hierarchy module connection of LSI by using a property created on the basis of connection specification in verification of design specification of LSI.例文帳に追加

接続仕様に基づき生成されたプロパティをＬＳＩの設計仕様検証に用いて、簡便かつ網羅的にＬＳＩの論理階層モジュール接続の検証を可能とすることを目的とする。 - 特許庁

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use.例文帳に追加

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。 - 特許庁