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

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

While referring to these command structure expression data 3, a language description output means 12 outputs an interface definition description language specification 4 expressing the specification of an interface between the operation system and a network managing system.例文帳に追加

言語記述出力手段12は，そのコマンド構造表現データ３を参照し，オペレーションシステムとネットワーク管理システムとのインタフェース仕様を表すインタフェース定義記述言語仕様４を出力する。 - 特許庁

A data acquisition part 102 acquires the gazette data of the quoted patent gazette number detected by the description specification part 103.例文帳に追加

データ取得部１０２は、記載特定部１０３が検出した引用特許公報番号の公報データを取得する。 - 特許庁

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

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

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

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

A description specification part 103 detects a quoted patent gazette number included in the document data of a document issued by Patent Office.例文帳に追加

記載特定部１０３は、特許庁が発行した書面の書面データに含まれる引用特許公報番号を検出する。 - 特許庁

Then the description data necessary for the operation test are extracted from the design manual file 21 on the basis of the format specification and test specifications for an application are generated by using the extracted description data (step S2).例文帳に追加

次に、書式指定に基づいて設計書ファイル２１から動作テストに必要な記述データを抽出し、抽出された記述データを用いて、このアプリケーション用のテスト仕様書を生成する（ステップＳ２）。 - 特許庁

When the specification is an instruction not to make the page description language stay resident, the initialization processing to the page description language is executed after the arrival of the print data (S208) and the page description language is deleted from the printer (S210) after the completion of the print processing to the print data (S300).例文帳に追加

一方、前記指定が、ページ記述言語を常駐化させないという指示であった場合、印刷データの到着後にページ記述言語に対する初期化処理を実行し（Ｓ２０８）、かつ印刷データに対する印刷処理（Ｓ３００）を終了後、ページ記述言語を印刷装置から削除する（Ｓ２１０）。 - 特許庁

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 label description language LDL is provided with a variable definition statement capable of setting an initial value, a data set instruction to segment data on a data base and to set it to a variable, a printer control instruction, a format specification instruction, a printing position specification instruction, a printing data set instruction and a printing instruction.例文帳に追加

ラベル記述言語ＬＤＬは、初期値を設定可能な変数定義ステートメントと、データベース上のデータを切り出して変数にセットするデータセット命令と、プリンタ制御命令と、書式指定命令と、印刷位置指定命令と、印刷データセット命令と、印刷命令とを有する。 - 特許庁

Further, the video processing system includes a video processing apparatus which relates metadata and video data and performs recording/reproduction processing on the video data, and includes a video description metadata input means of inputting the metadata and the processing target specification metadata for specifying the processing target of the metadata, and a processing target metadata generating means of relating the video description metadata and processing target specification metadata.例文帳に追加

さらに、メタデータと映像データが関連付けされ、その映像データに対して記録再生処理を施す映像処理装置を含み、前記メタデータと前記メタデータの処理対象を指定するための処理対象指定メタデータを入力する映像記述メタデータ入力手段と、前記映像記述メタデータと前記処理対象指定メタデータとを関連付ける処理対象指定メタ生成手段とを備える。 - 特許庁

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

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

A constituting element extracting part 11 inputs the data of a program specification B prepared based on a program A to be tested by a reverse engineering tool 90, and executes analysis following the data description format of a program specification B to be prepared by the reverse engineering tool 90, and extracts the constituting elements of the program A defined in the program specification B.例文帳に追加

構成要素抽出部１１は、リバースエンジニアリングツール９０によってテスト対象のプログラムＡをもとに作成されたプログラム仕様書Ｂのデータを入力し、このリバースエンジニアリングツール９０が作成するプログラム仕様書Ｂのデータ記述形式に則った解析を行ない、このプログラム仕様書Ｂに定義されたプログラムＡの構成要素を抽出する。 - 特許庁

In a processing (ST1), RTL (Register Transfer Level) data 32 described by the RTL and expressing a plurality of registers is generated using a hardware description language to a design specification 31 of a semiconductor integrated circuit.例文帳に追加

処理（ＳＴ１）では、半導体集積回路の設計仕様３１に対してハードウェア記述言語を用いてＲＴＬ（Ｒｅｇｉｓｔｏｒ Ｔｒａｎｓｆｅｒ Ｌｅｖｅｌ）で記述され、複数のレジスタを表すＲＴＬデータ３２を生成する。 - 特許庁

Waveform data 13 are prepared from the logical data 10 of a semiconductor integrated circuit prepared by a hardware description language and test pattern data 11 by using logical simulation and check item information 18 is prepared from the waveform data 13 and information inputted from a user specification part 15.例文帳に追加

ハードウェア記述言語にて作成した半導体集積回路の論理データ１０とテストパターンデータ１１より論理シミュレーションにて波形データ１３を作成し、この波形データ１３とユーザ指定部１５にて与えた情報より、チェック項目情報１８を生成する。 - 特許庁

A string definition portion, a storage region definition portion, and an index definition portion unitarily managed as a file specification 1 are converted into a data definition table 3 and a table definition SQL (DDL) {structured query language (data description language)} script 2, with items corresponding to the database table name and column name.例文帳に追加

ファイル仕様書１として一元的に管理する列定義部分、記憶領域定義部分、索引定義部分を、項目をデータベース表名、カラム名と対応させたデータ定義テーブル３と表定義用ＳＱＬ（ＤＤＬ）スクリプト２とに変換する。 - 特許庁

A video processing system includes a metadata recording means of recording a metadata recording format including an area where processing target specification metadata for specifying a processing target of metadata is recorded and an area where video description metadata representing properties of video data and related to the processing target specification metadata is recorded.例文帳に追加

本発明の映像処理システムは、メタデータの処理対象を指定するための処理対象指定メタデータを記録するための領域と、映像データの属性を表すメタデータであり、前記処理対象指定メタデータと関連付けられた映像記述メタデータを記録する領域とを備えたメタデータ記録形式を記録するメタデータ記録手段を備える。 - 特許庁

A CPU 1 executes a computer program 2a to classify design drawing and specification data 3a in respective files 3b of design drawings and specifications and to recognize information described in the respective design drawings and specifications to the respective files 3b of the design drawings and specifications based on a design drawing and specification recognition dictionary 2b including description rules of the respective design drawings and specifications.例文帳に追加

ＣＰＵ１がコンピュータプログラム２ａを実行することにより、設計図書データ３ａを各々の設計図書のファイル３ｂに分類し、各々の設計図書の記載ルールを含む設計図書認識用辞書２ｂに基づいて、各々の設計図書のファイル３ｂに対し各々の設計図書に記載されている記載情報を認識する。 - 特許庁

The data version is composed of keywords of up to prescribed high order on the basis of description in at least problems to be solved by an invention, means for solving the problems, the effects of the invention and explanation of symbols in the specification.例文帳に追加

前記データ編は、明細書中の少なくとも発明が解決しようとする課題、課題を解決するための手段、発明の効果及び符号の説明の記載に基づく所定上位までのキーワードで構成されていることを特徴とする。 - 特許庁

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

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

A test support device 1 acquires format specification indicating a position on which description data necessary for an operation test regulated in accordance with the format of a design manual is set at inputting a design manual file 21 stored in a storage part and generates a format information file 22 (step S1).例文帳に追加

テスト支援装置１は、記憶部に格納されている設計書ファイル２１が入力されると、この設計書の書式に応じて規定される動作テストに必要な記述データが設定されている位置を示す書式指定を取得し、書式情報ファイル２２を生成する（ステップＳ１）。 - 特許庁

A control device 11 sets a discrimination condition when discriminating whether a path is set as a verification target to a plurality of paths prescribed by a plurality of states included in a logic model shown by specification data 24 of the circuit description and state transition between the respective states based on input operation from an input device 12.例文帳に追加

回路記述の仕様データ２４が示す論理モデル内に含まれる複数の状態及び各状態間の状態遷移により規定される複数のパスに対して、該パスが検証対象とされるか否かを判別する際の判別条件を入力装置１２からの入力操作に基づき制御装置１１が設定する。 - 特許庁

(1) The proprietor of a patent may restrict the scope of patent protection by amending patent claims and correct any bibliographical data and obvious spelling and calculation mistakes in the patent specification the during the entire period of validity of the patent. A request for making amendments and new patent claims and, if necessary, new description of the invention shall be filed with the Patent Office and a state fee prescribed by subsection (4-1) of this section shall be paid. The Patent Office shall, on its own initiative or upon request from the proprietor of a patent, correct its own mistakes without charge. (10.03.2004 entered into force 01.05.2004 - RT I 2004, 20, 141)発音を聞く 例文帳に追加

(1) 特許所有者は，特許の有効期間中，特許クレームを補正することによって特許保護の範囲を減縮すること並びに特許明細書における書誌データ並びに明白な誤記及び計算の誤りを訂正することができる。補正のる請求書，新たな特許クレーム及び，必要な場合は，新たな発明の説明を特許庁に提出し，かつ，(4-1)に定める国の手数料を納付しなければならない。特許庁は，自己の誤りを，自己の発意により又は特許所有者からの請求を受けて，無料で訂正しなければならない。 (2004年3月10日。2004年5月1日施行－RT I 2004, 20, 141) - 特許庁

(1) A patent specification contains the description of the invention, patent claims, drawings or other illustrative material, an abstract of the subject matter of the invention and the following information: 1) the name of the agency which issued the patent specification; 2) the name and number of the document; 3) the name of the invention; 4) the index of the international patent classification; 5) the given name, surname and address of the author of the invention; 6) the given name, surname and the address and country code of the residence or seat of the enterprise of the proprietor of the patent, in the case of a legal person, the name, address of the seat and the country code; 7) in the case of a patent agent, given name, surname and address of the patent agent; 8) in the case of a joint representative, the given name and surname of the joint representative, in the case of a joint representative who is a legal person, the name of the legal person; 9) the number and filing date of the patent application; 10) priority data; 11) international application or European patent application data; 12) data concerning the deposit of the biological material, including micro-organism strain; 13) publication date of the patent application; 14) publication date of the patent specification; 15) the date of beginning of the period of validity of the patent.発音を聞く 例文帳に追加

(1) 特許明細書には，発明の説明，特許クレーム，図面その他の図示的資料，発明の内容の要約，及び次に掲げる情報を含める。 1) 特許明細書を発行した行政機関の名称 2) 当該書類の名称及び番号 3) 発明の名称 4) 国際特許分類記号 5) 発明者の姓名及び宛先 6) 特許所有者の姓名並びに居所又は事業所在地の宛先及び国コード。法人の場合は，名称，所在地の宛先及び国コード 7) 特許代理人の場合は，特許代理人の姓名及び宛先 8) 共通の代表者の場合は，共通の代表者の姓名。共通の代表者が法人である場合は，法人の名称 9) 特許出願の番号及び出願日 10) 優先権に係る事項 11) 国際出願又は欧州特許出願に係る事項 12) 微生物菌株を含む生物材料の寄託に係る事項 13) 特許出願の公開日 14) 特許明細書の公告日 15) 特許有効期間の開始日 - 特許庁