To provide a specificationdescription support method, specificationdescription support program and specificationdescription support system for resolving problems regarding preparation efficiency and quality resulting from a characteristic of a natural language in specificationdescription by a specificationdescription language including a natural sentence such as a UML (unified modeling language). UMLのような自然文を含む仕様記述言語による仕様記述において、自然言語の特性から来る作成効率、品質の問題を改善する仕様記述支援方法、仕様記述支援プログラム、仕様記述支援システムを提供する。 - 特許庁
CORRESPONDENCE RELATION SPECIFICATIONMETHOD, DEVICE AND PROGRAM BETWEEN REGISTER TRANSFER LEVEL DESCRIPTION AND OPERATION DESCRIPTION レジスタ転送レベル記述と動作記述間の対応関係特定方法、装置及びプログラム - 特許庁
DEMAND SPECIFICATIONDESCRIPTION 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 specificationdescription language is translated into a second specificationdescription language according to a transformation rule. テストケース自動生成の方法は、まず、転換ルールに従って、第一仕様記述言語を、第二仕様記述言語に転換する。 - 特許庁
By a coverage analysis computing method, the second specificationdescription language is analyzed for calculating a coverage of the second specificationdescription language, while a test case matching the second specificationdescription language is created according to the coverage. カバレージ分析演算法により、第二仕様記述言語を分析し、第二仕様記述言語のカバレージを計算すると共に、カバレージに従って、第二仕様記述言語に対応するテストケースを生成する。 - 特許庁
UNIT AND METHOD FOR DESIGNING/ANALYZING CIRCUIT SPECIFICATIONDESCRIPTION 回路仕様記述設計解析装置及び回路仕様記述設計解析方法 - 特許庁
To provide a unit and a method for designing/analyzing circuit specificationdescription, to obtain versatility of the description of a circuit specification. 回路仕様記述の多義性を把握することができる回路仕様記述設計解析装置及び回路仕様記述設計解析方法を提供する。 - 特許庁
GENERATING METHOD, BROWSING METHOD, GENERATING DEVICE AND BROWSING DEVICE FOR SPECIFICATIONDESCRIPTION 明細書作成方法、明細書閲覧方法、及び明細書作成装置、明細書閲覧装置 - 特許庁
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 descriptionmethod of the requirements of software, and for creating eligibility test specifications without omission or leakage for requirement specifications. ソフトウェアの要件の記述方法として機能要件と非機能要件を抜け・漏れなく記載することを可能にし、要件仕様書に対し抜け・漏れのない適格性試験仕様書の作成が可能な仕様書作成支援装置および支援方法を提供する。 - 特許庁
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. 定格銘板に表示する仕向地及び製品種別毎に定められた承認種別及び定格銘板記載事項を記憶する仕向地仕様データ記憶部22と、これを制御する管理コンピュータ21とを用いた、定格銘板の製造方法に関する。 - 特許庁
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. 従来例の欠点を解消し、急な仕様変更、及び追加に対して迅速に対応すると共に、HDL記述を有効な資産として今後に運用可能とする画像処理用半導体集積回路、及びその設計手法の提供。 - 特許庁
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.
してみれば、当業者であれば、発明の詳細な説明の記載に基づいて、抗原タンパク質Aを製造し、該抗原タンパク質Aを免疫原として、周知のハイブリドーマ法により、請求項2に係るモノクローナル抗体とそれを産生するハイブリドーマを取得することができる。 - 特許庁