「"コード検証"」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

バーコード検証システムおよびプリンタドライバ例文帳に追加

BAR CODE VERIFICATION SYSTEM AND PRINTER DRIVER - 特許庁

ソースコード検証処理時間計算装置及び方法例文帳に追加

SOURCE CODE VERIFICATION PROCESSING TIME CALCULATION DEVICE AND METHOD - 特許庁

ソースコード検証管理装置、方法、及びプログラム例文帳に追加

SOURCE CODE VERIFICATION MANAGEMENT DEVICE, METHOD, AND PROGRAM - 特許庁

ソースコード検証処理において、タイムアウト時間の設定を可能にし、ソースコード検証処理の効率を向上させる。例文帳に追加

To improve the efficiency of source code verification processing by setting a time-out time in source code verification processing. - 特許庁

識別コードの印刷と検証を別々に行なう場合や、様々なタイプの識別コードの検証を行なう場合に、検証を容易に行なうことができる識別コード検証装置、識別コード検証システム、識別コード検証方法、識別コード検証プログラムを提供することである。例文帳に追加

To provide an identification code verifying device, an identification code verification system, a method of verifying an identification code, and an identification code verification program, which easily perform verification when separately performing printing and verification of an identification code and verifying identification codes of various types. - 特許庁

モデル生成装置、モデル生成方法、ソースコード検証システムおよびプログラム例文帳に追加

MODEL CREATION DEVICE, MODEL CREATING METHOD, SOURCE CODE VERIFICATION SYSTEM AND PROGRAM - 特許庁

コンパイル済みのコードの型チェックを行うコード検証システム及び方法を提供する。例文帳に追加

To provide a code verification system and method utilized to type check compiled code. - 特許庁

ソースコード検証部は、フラット化されたソースコードにソースコード検証手法を適用し、得られたエラートレースをエラートレース記憶部に格納する。例文帳に追加

The source code verification part applies a source code verification method to the flatted source code to store the obtained error trace in an error trace storage part. - 特許庁

プリンタ２０は、受信したバーコードを印刷後、バーコード情報に基づいてバーコード検証機１８を制御し、印刷結果に対するバーコード検証結果を得る。例文帳に追加

The printer 20 controls the bar code verification machine 18, based on the bar code information after printing the received bar code, and obtains a bar code verification result with respect to a printed result. - 特許庁

汎用のアプリケーションプログラムを使用してバーコードを印刷しても、バーコード検証機を搭載したプリンタでバーコード検証機を制御可能とする。例文帳に追加

To control a bar code verification machine by a printer mounted with the bar code verification machine, even if printing bar codes by the use of a general-purpose application program. - 特許庁

プロパティカウント部１２０は、プロパティ情報に基づいてソースコードのソースコード検証のタイムアウト時間を演算する。例文帳に追加

The property count part 120 calculates the time-out time of the source code verification of the source code based on the property information. - 特許庁

コード検証器（２０）はプログラム（１２）の命令を分析し、該命令に基づいて複数の型シグネチャを生成する。例文帳に追加

The code verifier (20) analyzes instructions of the program and generates a plurality of type signatures based on the instructions. - 特許庁

ソースコード検証処理時間計算装置１００は、プロパティ抽出部１１０とプロパティカウント部１２０とを備える。例文帳に追加

A source code verification processing time calculation device 100 includes a property extraction part 110 and a property count part 120. - 特許庁

読取り手段による走査・読取りを実施する特定の識別コードに対する読取り開始時間を設けることにより、識別コードの検証制御における負荷を低減した印刷装置の識別コード検証機および識別コード検証方法を提供することを課題とする。例文帳に追加

To provide an identification code verifying machine of a printing device having a reduced load in the verifying control of an identification code by providing a readout start time to the specific identification code which performs scanning and readout by a readout means and to provide an identification code verifying method of the printing device. - 特許庁

型シグネチャは、前記命令の入力型制約と出力型記述を含み、コード検証器（２０）は型シグネチャを分析して型エラーを検出する。例文帳に追加

The type signatures indicate the input type constraints and the output type descriptions of the instructions, and the code verifier (20) analyzes the type signatures to detect a type error. - 特許庁

ソースコード検証システム２００は、検証対象ソースコード１００をKripke構造モデル３００に変換し、Kripke構造モデル３００に対してモデル検査を行うことにより、検証対象ソースコード１００を検証する。例文帳に追加

This source code verification system 200 converts verification-objective source code 100 into a Kripke structure model 300, model-inspects the Kripke structure model 300, and verifies thereby the verification-objective source code 100. - 特許庁

さらにプリンタ２０に対して、バーコードのビットマップデータとともに、バーコード検証機１８を制御するときに使用するバーコードの種類やコード、大きさ、位置などのバーコード情報を送信する。例文帳に追加

Furthermore, the host computer transmits to the printer 20 bar code information that includes the kind, a code, size, and a position, or the like, of the bar code used, when the bar code verification machine 18 is controlled. - 特許庁

モデル検査方式を用いたソースコード検証システムにおいて、分散処理により検証処理を分散させることで、検証処理時間を短縮する負荷分散システムを提供する。例文帳に追加

To provide a load distribution system which reduces a verification processing time by distributing verification processing by means of distributed processing in a source code verification system using a model inspection technique. - 特許庁

レジスタ退避した内容が復旧される際、チェックコード検証回路７は、レジスタ群の特定レジスタに格納されたチェックコードを読出し、その正当性を検証し、検証結果が不正であれば、レジスタ退避復旧回路の故障が発生したと判断する。例文帳に追加

When the register-saved contents are restored, a check code verification circuit 7 reads out the check code stored in the specific register of the register group to verify the validity thereof, and if the verification is unsuccessful, determines a failure in the register saving and restoring circuit. - 特許庁

また、本体装置に認証コードを生成する認証コード生成手段を備え、ＧＰＳモジュールに認証コードの検証を行う認証コード検証手段を備えることにより、ＧＰＳモジュールが本体装置の認証を行うようにした。例文帳に追加

An authorization code producing means, for producing an authorization code, is provided in the body system, and an authorization code verifying means for verifying an authorization code is provided in the GPS module, thereby enables the GPS module to perform authentication of the body system. - 特許庁