例文 (25件) |
specification description languageの部分一致の例文一覧と使い方
該当件数 : 25件
To provide a specification description support method, specification description support program and specification description support system for resolving problems regarding preparation efficiency and quality resulting from a characteristic of a natural language in specification description by a specification description language including a natural sentence such as a UML (unified modeling language).例文帳に追加
UMLのような自然文を含む仕様記述言語による仕様記述において、自然言語の特性から来る作成効率、品質の問題を改善する仕様記述支援方法、仕様記述支援プログラム、仕様記述支援システムを提供する。 - 特許庁
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.例文帳に追加
カバレージ分析演算法により、第二仕様記述言語を分析し、第二仕様記述言語のカバレージを計算すると共に、カバレージに従って、第二仕様記述言語に対応するテストケースを生成する。 - 特許庁
SDL (specification and description language) is not directed specifically at describing telecommunications services, but it is a general purpose description language for communication systems. 例文帳に追加
SDLは,電気通信サービスを記述するために特別に用意された言語ではなく,通信システム用の汎用目的の記述言語である. - コンピューター用語辞典
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は,そのコマンド構造表現データ3を参照し,オペレーションシステムとネットワーク管理システムとのインタフェース仕様を表すインタフェース定義記述言語仕様4を出力する。 - 特許庁
To convert a visual specification description by SDL to the source code for Java (registered trademark) language.例文帳に追加
SDLによる視覚的な仕様記述からJava(登録商標)言語へのソースコードヘの変換を可能とする。 - 特許庁
In a workstation (corresponding to a program development device), a different language mixed source program is prepared by padding the description of an original specification language source program (ATL in a Fig.) in a preprocessor description part of a general language source program (language C in a Fig.) (step S110).例文帳に追加
ワークステーション(プログラム開発装置に相当)上で、汎用言語ソースプログラム(図ではC言語)のプリプロセッサ記述部に、独自仕様言語ソースプログラム(図ではATL)の記述を埋め込んだ異種言語混在ソースプログラムを作成する(ステップS110)。 - 特許庁
The general language source program description part and the original specification language source program description part are extracted from the different language mixed source program and compiled by respective compilers and respective obtained object codes are combined to generate one object file (step S120).例文帳に追加
そして、その異種言語混在ソースプログラムから汎用言語ソースプログラム記述部と独自仕様言語ソースプログラム記述部を取り出して、それぞれのコンパイラでコンパイルし、得られたそれぞれのオブジェクトコードを結合して、一つのオブジェクトファイルを生成する(ステップS120)。 - 特許庁
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).例文帳に追加
一方、前記指定が、ページ記述言語を常駐化させないという指示であった場合、印刷データの到着後にページ記述言語に対する初期化処理を実行し(S208)、かつ印刷データに対する印刷処理(S300)を終了後、ページ記述言語を印刷装置から削除する(S210)。 - 特許庁
To provide a device for creating business slip, capable of creating a slip such as a product specification and an explanatory note by selecting a description item in one language, thereby simultaneously preparing the slip in the second language.例文帳に追加
製品の仕様書、説明書などの帳票を、一つの言語で記載項目を選択して作成する手間で、同時に第二言語の帳票が作成できる帳票作成装置を提供する。 - 特許庁
Elements are defined as print containers, fixed documents, application-specific documents, page description language (PDL) documents, extensible markup language (XML) paper specification (XPS) fixed documents, or combinations of the above elements.例文帳に追加
要素は、プリントコンテナ、固定ドキュメント、アプリケーション特定のドキュメント、ページ記述言語(PDL)ドキュメント、拡張可能なマークアップ言語(XML)Paper Specification(XPS)固定ドキュメント、或いは上記要素の組み合わせとして定義される。 - 特許庁
To provide an HDL(hardware description language) specification changing system which can easily change various kinds of HDLs to each other without using hands nor preparing programs at every kind of HDLs.例文帳に追加
人手を使わず、またHDL種類個別にプログラムを用意することなく、容易に多種のHDL同士を変換可能なHDL仕様変換システムを提供する。 - 特許庁
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 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 requirement specification automatic verification system which automatically generating an execution model in the description language of a model verification tool SPIN from requirement specifications to verify requirement specifications in an early stage.例文帳に追加
要求仕様からモデル検査ツールSPINのモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁
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.例文帳に追加
システム仕様記述言語に沿って作成された仕様を部品化しておき、詳細化前のシステムレベルの設計段階において適切な部品を検索し、仕様に組み込んで有効に再利用することのできる仕様交換装置を提供すること - 特許庁
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.例文帳に追加
ファイル仕様書1として一元的に管理する列定義部分、記憶領域定義部分、索引定義部分を、項目をデータベース表名、カラム名と対応させたデータ定義テーブル3と表定義用SQL(DDL)スクリプト2とに変換する。 - 特許庁
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.例文帳に追加
処理(ST1)では、半導体集積回路の設計仕様31に対してハードウェア記述言語を用いてRTL(Registor Transfer Level)で記述され、複数のレジスタを表すRTLデータ32を生成する。 - 特許庁
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.例文帳に追加
ラベル記述言語LDLは、初期値を設定可能な変数定義ステートメントと、データベース上のデータを切り出して変数にセットするデータセット命令と、プリンタ制御命令と、書式指定命令と、印刷位置指定命令と、印刷データセット命令と、印刷命令とを有する。 - 特許庁
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.例文帳に追加
アプリケーションデータを記述したXML文書50に含まれる各データ要素の仕様を、各データ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順を人が記述や理解のし易い言語で記述したデータ仕様記述文書30を作成する。 - 特許庁
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.例文帳に追加
ハードウェア記述言語にて作成した半導体集積回路の論理データ10とテストパターンデータ11より論理シミュレーションにて波形データ13を作成し、この波形データ13とユーザ指定部15にて与えた情報より、チェック項目情報18を生成する。 - 特許庁
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記述を有効な資産として今後に運用可能とする画像処理用半導体集積回路、及びその設計手法の提供。 - 特許庁
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.例文帳に追加
プリンタ103のハードウェア仕様を表現したサポート情報をハードウェア仕様記述言語(XDHL)で作成してコンピュータ101に送出し、その情報内容を解読して各プリンタ毎のサポートレベルを認識し、サポートレベルに基づきマルチメディア情報をプリンタの印刷形態に対応して表示画面上に表示し、所望のマルチメディア情報のみを選択して印刷する。 - 特許庁
The interface of a server 18 loaded on the analyzer 10 is allowed to conform to a Web service specification of HTTP, SOAP or the like, which is a widely-used standard technology that is not restricted to specific vendors, and a document 24 formed by describing the interface specifications in WSDL, which is the standard description language is published.例文帳に追加
分析装置10に搭載するサーバ18のインターフェースを、特定のベンダーに限定されない汎用的な標準技術であるHTTPやSOAP等のWebサービス規格に準拠させるとともに、そのインターフェースの仕様を標準の記述言語であるWSDLで記述した文書24を公開する。 - 特許庁
This verification device or the like for a logic system described by a hardware description language has: a test bench production means executing the dynamic simulation; a static verification means executing static verification; and an error part specification means specifying an error part from results of the dynamic simulation and the static verification.例文帳に追加
ハードウェア記述言語により記述された論理システムの検証装置であって、動的シミュレーションを実行するテストベンチ作成手段と、静的検証を実行する静的検証手段と、前記動的シミュレーションと前記静的検証の結果から、エラー箇所を特定するエラー箇所特定手段を具備することを特徴とする論理システムの検証装置等、を提供する。 - 特許庁
例文 (25件) |
Copyright © Japan Patent office. All Rights Reserved. |
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved. |
ログイン |
Weblio会員(無料)になると
|
ログイン |
Weblio会員(無料)になると
|