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

DEMAND SPECIFICATION DESCRIPTION SUPPORT DEVICE, METHOD THEREFOR AND RECORDING MEDIUM例文帳に追加

要求仕様記述支援装置およびその方法、記録媒体 - 特許庁

METHOD, PROGRAM AND SYSTEM FOR SUPPORTING DESCRIPTION OF SPECIFICATION INCLUDING NATURAL SENTENCE例文帳に追加

自然文を含む仕様の記述支援方法、プログラムおよびシステム - 特許庁

In a test case automatic creating method, a first specification description language is translated into a second specification description language according to a transformation rule.例文帳に追加

テストケース自動生成の方法は、まず、転換ルールに従って、第一仕様記述言語を、第二仕様記述言語に転換する。 - 特許庁

By a coverage analysis computing method, the second specification description language is analyzed for calculating a coverage of the second specification description language, while a test case matching the second specification description language is created according to the coverage.例文帳に追加

カバレージ分析演算法により、第二仕様記述言語を分析し、第二仕様記述言語のカバレージを計算すると共に、カバレージに従って、第二仕様記述言語に対応するテストケースを生成する。 - 特許庁

UNIT AND METHOD FOR DESIGNING/ANALYZING CIRCUIT SPECIFICATION DESCRIPTION例文帳に追加

回路仕様記述設計解析装置及び回路仕様記述設計解析方法 - 特許庁

To provide a unit and a method for designing/analyzing circuit specification description, to obtain versatility of the description of a circuit specification.例文帳に追加

回路仕様記述の多義性を把握することができる回路仕様記述設計解析装置及び回路仕様記述設計解析方法を提供する。 - 特許庁

GENERATING METHOD, BROWSING METHOD, GENERATING DEVICE AND BROWSING DEVICE FOR SPECIFICATION DESCRIPTION例文帳に追加

明細書作成方法、明細書閲覧方法、及び明細書作成装置、明細書閲覧装置 - 特許庁

Description The XOpenIMfunction opens an input method, matching the current locale and modifiers specification.例文帳に追加

説明関数XOpenIMは現在のロケールとモディファイア指定に一致する入力メソッドをオープンする。 - XFree86

Description The XOpenOM function opens an output method matching the current locale and modifiers specification.例文帳に追加

説明関数XOpenOMは現在のロケールとモディファイア指定に一致する出力メソッドを開く。 - XFree86

The method supports the design of the system architecture of a system-on-ship from the description of the specification of a system to become an object.例文帳に追加

対象となるシステムの仕様の記述から、システム・オン・チップのシステム・アーキテクチャの設計を支援する方法が示されている。 - 特許庁

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique.例文帳に追加

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

To provide a behavioral synthesis apparatus that converts an algorithm specification described in a higher-order language to a hardware description language on a register transfer level, a method of controlling behavioral synthesis, a program for controlling behavioral synthesis, and a recording medium.例文帳に追加

本発明は、高位言語で記述されたアルゴリズム仕様からレジスタトランスファレベルのハードウェア記述言語への変換を行う動作合成装置、動作合成制御方法、動作合成制御プログラム及び記録媒体に関する。 - 特許庁

To provide a specification creation support device and method for writing functional requirements and non-functional requirements without omission or leakage as the description method of the requirements of software, and for creating eligibility test specifications without omission or leakage for requirement specifications.例文帳に追加

ソフトウェアの要件の記述方法として機能要件と非機能要件を抜け・漏れなく記載することを可能にし、要件仕様書に対し抜け・漏れのない適格性試験仕様書の作成が可能な仕様書作成支援装置および支援方法を提供する。 - 特許庁

To provide a semiconductor integrated circuit for image processing and its design method that can quickly cope with a sudden specification change and addition through the elimination of defects of a conventional image processing use semiconductor integrated circuit and operate the HDL(Hardware Description Language) as a valid resource in the future.例文帳に追加

従来例の欠点を解消し、急な仕様変更、及び追加に対して迅速に対応すると共に、ＨＤＬ記述を有効な資産として今後に運用可能とする画像処理用半導体集積回路、及びその設計手法の提供。 - 特許庁

The method for manufacturing the rating name plate uses a destination specification data storing part 22 for storing approved classification and rating name plate description items determined at each destination and product classification displayed on the rating name plate, and a management computer 21 for controlling this.例文帳に追加

定格銘板に表示する仕向地及び製品種別毎に定められた承認種別及び定格銘板記載事項を記憶する仕向地仕様データ記憶部２２と、これを制御する管理コンピュータ２１とを用いた、定格銘板の製造方法に関する。 - 特許庁

Consequently, a person skilled in the art can obtain the monoclonal antibody described in claim 2 and a hybridoma producing the monoclonal antibody by the means of preparing the antigenic protein A and using the antigenic protein A as an immunogen by a known hybridoma method, on the basis of the description in the specification. 例文帳に追加

してみれば、当業者であれば、発明の詳細な説明の記載に基づいて、抗原タンパク質Ａを製造し、該抗原タンパク質Ａを免疫原として、周知のハイブリドーマ法により、請求項2に係るモノクローナル抗体とそれを産生するハイブリドーマを取得することができる。 - 特許庁