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

SOURCE CODE VERIFICATION MANAGEMENT DEVICE, METHOD, AND PROGRAM例文帳に追加

ソースコード検証管理装置、方法、及びプログラム - 特許庁

SOURCE CODE VERIFICATION PROCESSING TIME CALCULATION DEVICE AND METHOD例文帳に追加

ソースコード検証処理時間計算装置及び方法 - 特許庁

To improve the efficiency of source code verification processing by setting a time-out time in source code verification processing.例文帳に追加

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

The code verification system includes memory (15) and a code verifier (20).例文帳に追加

コード検証システムはメモリ（１５）とコード検証器（２０）を含む。 - 特許庁

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.例文帳に追加

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

MODEL CREATION DEVICE, MODEL CREATING METHOD, SOURCE CODE VERIFICATION SYSTEM AND PROGRAM例文帳に追加

モデル生成装置、モデル生成方法、ソースコード検証システムおよびプログラム - 特許庁

MESSAGE AUTHENTICATION CODE GENERATION DEVICE, MESSAGE AUTHENTICATION CODE VERIFICATION DEVICE, MESSAGE AUTHENTICATION CODE GENERATION METHOD, MESSAGE AUTHENTICATION CODE VERIFICATION METHOD, PROGRAM, AND RECORDING MEDIUM例文帳に追加

メッセージ認証子生成装置、メッセージ認証子検証装置、メッセージ認証子生成方法、メッセージ認証子検証方法、プログラム、および記録媒体 - 特許庁

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.例文帳に追加

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

To provide a code verification processing method capable of efficiently providing information by using a display identifier, a code verification processing program and a code display program.例文帳に追加

表示識別子を用いて効率的に情報を提供することができるコード照合処理方法、コード照合処理プログラム及びコード表示プログラムを提供する。 - 特許庁

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 provide a code verification system and method utilized to type check compiled code.例文帳に追加

コンパイル済みのコードの型チェックを行うコード検証システム及び方法を提供する。 - 特許庁

The property count part 120 calculates the time-out time of the source code verification of the source code based on the property information.例文帳に追加

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

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 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.例文帳に追加

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

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.例文帳に追加

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

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.例文帳に追加

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

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.例文帳に追加

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