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

SPECIFICATION DESCRIPTION SUPPORT DEVICE FOR EVENT-DRIVEN TYPE SOFTWARE例文帳に追加

イベント駆動型ソフトウェア用仕様記述支援装置 - 特許庁

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

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

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

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

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

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

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

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

To provide a circuit specification description visualization device for obtaining versatility of a circuit specification description and for easily obtaining a correlation between each partial expression in the circuit specification description and a part in a signal waveform.例文帳に追加

回路仕様記述の多義性を把握することができ、且つ、回路仕様記述中の各部分式が、信号波形中のどの部分に対応するかを容易に把握することができる回路仕様記述視覚化装置を提供する。 - 特許庁

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

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

And a verifying device 3 as the order machine is generated from the specification description 1.例文帳に追加

そして、この仕様記述１から順序機械としての検証装置３を生成する。 - 特許庁

Then a timing specification description generation part 15 converts information inputted on the screen to a VHDL description and inserts it into a function description stored in a specification description storage part 16.例文帳に追加

そして、タイミング仕様記述生成部１５は、この画面上で入力される情報をＶＨＤＬ記述に変換し、仕様記述記憶部１６に記憶された機能記述に挿入する。 - 特許庁

To enable easy creation of operation specification description for logically verifying the design data of a logic system.例文帳に追加

論理システムの設計データを論理検証するための動作仕様記述を容易に作成する。 - 特許庁

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

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

The event-driven specification description support device 1 is connected through a network 9 to clients 10.例文帳に追加

イベント駆動型仕様記述支援装置１はネットワーク９を介してクライアント10に結合されている。 - 特許庁

The specification description support system has a term dictionary and urges a user to register a term about an unregistered term.例文帳に追加

また、用語の辞書を有し、未登録の用語について、用語の登録を促すことを特徴とする。 - 特許庁

A Web server receives a request from a customer including the specification description of an ASIC and generates a batch file and a configuration file required for the design and simulation of the ASIC from the specification description to transfer the files to the customer.例文帳に追加

ウェブサーバーは、ＡＳＩＣの仕様記述を含む顧客からのリクエストを受理し、その仕様記述からＡＳＩＣの設計及びシミュレーションに必要なバッチファイルおよびコンフィグレーションファイルを生成し顧客に転送する。 - 特許庁

To convert a visual specification description by SDL to the source code for Java (registered trademark) language.例文帳に追加

ＳＤＬによる視覚的な仕様記述からＪａｖａ（登録商標）言語へのソースコードヘの変換を可能とする。 - 特許庁

To provide unique support by enabling an addition of a main key specification description valid between documents to a schema in an XMLDBMS.例文帳に追加

XMLDBMSにおいて、文書間でも有効な主キー指定記述をスキーマに追加可能にすることで、で一意性のサポートを実現する。 - 特許庁

The selection/input processing part 7 displays a specification description screen in the client 10, and executes selection/input processing related to specification descriptions.例文帳に追加

選択，入力処理部７は、クライアント10に仕様記述画面を表示し、仕様記述に係る選択，入力処理を実行する。 - 特許庁

Thus, the print system selects and uses ≥2 printers according to the set print environments, uses the selected printers to compose a single virtual printer, produces a specification description file of the virtual printer and generates a setting screen picture of print attributes on the basis of the specification description file.例文帳に追加

そのために、印刷システムは、設定された印刷環境に応じて、使用する２つ以上のプリンタを選択し、選択されたプリンタを１台の仮想プリンタとして構成して仮想プリンタの仕様記述ファイルを生成し、そのファイルに基づいた印刷属性の設定画面を生成する。 - 特許庁

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

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

A client 11 fills a necessary item on a request specification description picture and stores a request specification in a request specification file 2 (1).例文帳に追加

クライアント11は、要求仕様の記述画面で必要な項目への記述を行って要求仕様を要求仕様ファイル２に格納する(１)。 - 特許庁

To provide an automatic test specification generation system for automatically generating a test specification from request specification description and an automatically generated test scenario pass.例文帳に追加

要求仕様記述および自動生成したテストシナリオパスからテスト仕様を自動的に生成するテスト仕様自動生成方式を提供する。 - 特許庁

The input section 201 receives input of hardware description information D1 and interface specification description information D2 relating to a communication procedure of a hardware module.例文帳に追加

入力部２０１は、ハードウェア記述情報Ｄ１およびハードウェアモジュールの通信手順に関するインターフェース仕様記述情報Ｄ２を入力する。 - 特許庁

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

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

An XML creation part 102 creates XML data 221 for the integral registration or XML data 222 for the partial update by replacing parameter value embedding specification description in the XML data creation information with a parameter value of a parameter name shown by the specification description in the HTTP request.例文帳に追加

ＸＭＬ生成部１０２は、ＸＭＬデータ生成情報中のパラメータ値埋め込み指定記述を、ＨＴＴＰリクエスト中の当該指定記述で示されるパラメータ名のパラメータ値に置き換えることで、全体登録用のＸＭＬデータ２２１または部分更新用のＸＭＬデータ２２２を生成する。 - 特許庁

An RTL source code 11 and operation specification description template in a template library 13 are converted into internal representation by an internal representation converter 21, the converted internal representation is compared by a comparator/selector 22 to determine the logical equivalence, the operation specification description template is selected and outputted according to the determination.例文帳に追加

内部表現変換器２１でＲＴＬソースコード１１とテンプレートライブラリ１３内の動作仕様記述テンプレートとを内部表現に変換し、変換した内部表現を比較器・選択器２２で比較して論理的等価性を判定し、その判定に応じて当該動作仕様記述テンプレートを選択して出力する。 - 特許庁

To provide methods and devices for supporting patent work by efficiently generating and browsing a specification description through the electronic filing of patent official gazette.例文帳に追加

特許公報の電子ファイル化に基づいて、明細書の作成および閲覧を効率的に行い特許業務を支援するための方法および装置を提供すること。 - 特許庁

To provide a means generating deactivation specification description including a function complying with an inactive code in verification of a logic system for facilitating analysis on a code coverage result.例文帳に追加

論理システムの検証において非活性コードに対応する機能を含む非活性動作仕様記述を生成し、コードカバレッジ結果の解析を容易化する手段を提供する。 - 特許庁

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

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

To generate an order machine model usable by a multipurpose logical simulator, etc., from brief specification description in hardware to execute a plurality of transactions in parallel like a pipeline.例文帳に追加

複数のトランザクションをパイプライン的に並行して実行するハードウェアにおいて、汎用の論理シミュレータ等で利用可能な順序機械モデルを簡潔な仕様記述から生成すること。 - 特許庁

The generating section 202 generates a finite state machine model relating to a state transition of a signal inputted to and outputted from the hardware module on the basis of the interface specification description information D2.例文帳に追加

生成部２０２は、インターフェース仕様記述情報Ｄ２に基づいて、ハードウェアモジュールに入出力される信号の状態遷移に関する有限状態機械モデルを生成する。 - 特許庁

A specification file 10 generated with spreadsheet software is read which associates one or more specification description cells each with a calculation specification described, one or more input cells, and one or more calculation formula cells each with a calculation formula described with a value input into the associated input cell for implementing the specification described in the associated specification description cell.例文帳に追加

表計算ソフトによって生成され、計算仕様が記述された一以上の仕様記述セル、一以上の入力セル、及び一以上の計算式セルが互いに対応付けられているファイルであって、各計算式セルには、それぞれ対応付けられている入力セルに入力された値を用い、それぞれ対応づけられている仕様記述セルに記述された仕様を実現するための計算式が記述されている仕様書ファイル１０を読み込む。 - 特許庁

To provide a specification exchange device to divide specifications prepared according to a system specification description language into parts and search parts appropriate for a design step at a system level before detailing and allowing to be incorporated into the specifications and effectively being reused.例文帳に追加

システム仕様記述言語に沿って作成された仕様を部品化しておき、詳細化前のシステムレベルの設計段階において適切な部品を検索し、仕様に組み込んで有効に再利用することのできる仕様交換装置を提供すること - 特許庁

To provide a specification description support device for event-driven software for easily describing specifications in the concept and event flow of use case descriptions in the specification descriptions of event-driven software, and for eliminating ommision or ambiguity of descriptions.例文帳に追加

イベント駆動型ソフトウェアの仕様記述において、ユースケース記述の概要及びイベントフローに対して平易に仕様を記述でき且つ記述の漏れと曖昧さをなくすことが可能なイベント駆動型ソフトウェア用仕様記述支援装置を提供する。 - 特許庁

To allow a user to describe a specification by an optimal specification form which is decided by a device itself for every function of a program to be automatically generated by the user based on specification description generated by the user.例文帳に追加

利用者が作成した仕様記述に従ってプログラムを自動生成するプログラム自動生成装置において、利用者が自動生成しようとしているプログラムが持つ機能毎に最適な仕様形式を装置自体が決定し、この決定した仕様形式で利用者に仕様を記述させる。 - 特許庁

A data specification description document 30 is created which describes the specification of each data element contained in an XML document 50 describing application data in a condition each data element should satisfy in relation to other data elements, or a verification procedure of the condition in a language easy for a person to describe or understand.例文帳に追加

アプリケーションデータを記述したＸＭＬ文書５０に含まれる各データ要素の仕様を、各データ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順を人が記述や理解のし易い言語で記述したデータ仕様記述文書３０を作成する。 - 特許庁

A timing specification extracting part 13 extracts a timing specification, which is described in a function description by using a facility name in the function description, to be satisfied by a logic circuit out of the function description stored in a specification description storage part 11 and stores this extracted timing specification in a timing specification storage part 14.例文帳に追加

タイミング仕様抽出部１３は、仕様記述記憶部１１に記憶された機能記述から、機能記述内のファシリティ名を用いて機能記述中に記述された、論理回路が満たすべきタイミング仕様を抽出し、この抽出したタイミング仕様をタイミング仕様記憶部１４に記憶させる。 - 特許庁

When this test case generation device makes the transition phenomena sequentially occur based on system operation specification description to generate the system state transition system, the test case generation device makes a scenario state transition system representing order restriction of the transition phenomena be simultaneously transited, and restricts the transition phenomenon made to sequentially occur to the transition phenomenon capable of transiting in the scenario state transition system.例文帳に追加

システム動作仕様記述に基づいて遷移事象を順次生起させてシステム状態遷移系を生成する際に、遷移事象の順序制約を表現するシナリオ状態遷移系も同時に遷移させ、順次生起させる遷移事象を、当該シナリオ状態遷移系で遷移可能なものに制限する。 - 特許庁

To provide a shipping base carry-in planning system for knockdown production parts which permits a person who prepares an order slip to easily check an error in the specification description of a model to be planned and to carry out a series of order tasks clearly when a part group for knockdown production is ordered to a production department.例文帳に追加

ノックダウン生産のための部品群を製造部門などに発注する場合に、発注伝票の作成者が計画すべき機種の仕様内容の誤りを容易に確認でき一連の発注業務を分り易く遂行可能なノックダウン生産用部品の出荷基地搬入計画立案システムを提供する。 - 特許庁

A program is then generated which includes functions 310 to 340 for the respective calculation formula cells of the specification file 10 read in each including source code depending on the calculation formula described in the calculation formula cell to implement the calculation specification described in the associated specification description cell, and a main processing part 340 for calling the generated functions.例文帳に追加

読み込んだ仕様書ファイル１０の計算式セルごとに、それぞれの計算式セル内に記述されている計算式に従うソースコードを含み、対応する仕様記述セルに記述された計算仕様を実現する関数３１０〜３４０と、生成された関数の呼出を行うメイン処理部３４０を含むプログラムを生成する。 - 特許庁

This device prepares support information representing the hardware specification of a printer 103 in a hardware specification description language (XDHL), transmits the support information to a computer 101, decodes the information contents to recognize the support level of each printer, displays the multimedia information on the display screen in accordance with the printing format of the printer on the basis of the support level and selects and prints only desired multimedia information.例文帳に追加

プリンタ１０３のハードウェア仕様を表現したサポート情報をハードウェア仕様記述言語（ＸＤＨＬ）で作成してコンピュータ１０１に送出し、その情報内容を解読して各プリンタ毎のサポートレベルを認識し、サポートレベルに基づきマルチメディア情報をプリンタの印刷形態に対応して表示画面上に表示し、所望のマルチメディア情報のみを選択して印刷する。 - 特許庁