specification description languageとは 意味・読み方・使い方

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

そして、その異種言語混在ソースプログラムから汎用言語ソースプログラム記述部と独自仕様言語ソースプログラム記述部を取り出して、それぞれのコンパイラでコンパイルし、得られたそれぞれのオブジェクトコードを結合して、一つのオブジェクトファイルを生成する（ステップＳ１２０）。 - 特許庁

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

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

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

要素は、プリントコンテナ、固定ドキュメント、アプリケーション特定のドキュメント、ページ記述言語（ＰＤＬ）ドキュメント、拡張可能なマークアップ言語（ＸＭＬ）Ｐａｐｅｒ Ｓｐｅｃｉｆｉｃａｔｉｏｎ（ＸＰＳ）固定ドキュメント、或いは上記要素の組み合わせとして定義される。 - 特許庁

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

人手を使わず、またＨＤＬ種類個別にプログラムを用意することなく、容易に多種のＨＤＬ同士を変換可能なＨＤＬ仕様変換システムを提供する。 - 特許庁

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のモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。 - 特許庁