language specificationsとは 意味・読み方・使い方

To provide a verification support device, etc. for reverse-generating specifications from a property description described in a property language, and correcting mistakes in the property description by comparing the reverse-generated specifications and original specifications.例文帳に追加

プロパティ言語で生成されたプロパティ記述から仕様書を逆生成し、逆生成した仕様書と元の仕様書とを比較してプロパティ記述のミスを訂正する検証支援装置等を提供する。 - 特許庁

To provide a natural language processing program and a natural language processing apparatus for learning parsing specifications which are associated with a sentence to be learnt and are different from parsing specifications of a parser, in order to conform to the parsing specifications of the parser.例文帳に追加

学習対象の文に関連付けられた、構文解析器の構文解析の仕様とは異なる構文解析の仕様を、構文解析器の構文解析の仕様に合わせるために学習する自然言語処理プログラム及び自然言語処理装置を提供する。 - 特許庁

To provide a device and method for digital circuit verification, which processes assertions written in a property specification language capable of describing high-level specifications and specifications on IPs.例文帳に追加

高度な仕様や、ＩＰ間にまたがる仕様を記述できるプロパティ記述言語で書かれたアサーションを処理するデジタル回路検証のための装置及び方法を提供する。 - 特許庁

The compiling method for converting an input program to an object language program includes an analysis step of analyzing, when a plurality of extension language specifications is designated to the input program, the plurality of designated extension language specifications to thereby determine a part of the input program affected by the plurality of designated extension language specifications; and an output step of outputting information for that part together with the object language program.例文帳に追加

入力プログラムを目的プログラムに変換するコンパイル方法であって、入力プログラムに複数の拡張言語仕様が指定される場合、指定された複数の拡張言語仕様を解析することにより、指定された複数の拡張言語仕様によって影響を受ける入力プログラムの部分を決定する解析ステップと、その部分に関する情報を、目的プログラムと共に出力する出力ステップとを含むことを特徴とする。 - 特許庁

This extended language specification destination method for designating extended language specifications for the object of a program is constituted so that the candidate of the extended language specification is analyzed, then the extended language specification with respect to an object is automatically designated based on the analysis.例文帳に追加

プログラムのオブジェクトに対する拡張言語仕様を指定する拡張言語仕様指定方法において、拡張言語仕様の候補を解析し、解析結果に基づいてオブジェクトに対して拡張言語仕様を自動的に指定するように構成する。 - 特許庁

To provide a compiling method, allowing a user to easily acquire effects of a plurality of designated extension language specifications on an input program and an object language program.例文帳に追加

指定される複数の拡張言語仕様による入力プログラム及び目的プログラムに対する影響をユーザが容易に把握できるコンパイル方法を提供する。 - 特許庁

When the specifications of the integrated circuit are described in a C language (step 100), a database of a function block for dividing the function related to the specifications into a plurality of parts is created (step 110).例文帳に追加

Ｃ言語によって集積回路の仕様が記述されると（ステップ１００）、この仕様にかかる機能を複数に分割する機能ブロックのデータベースが作成される（ステップ１１０）。 - 特許庁

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