program abstractionとは 意味・読み方・使い方

A reading application program 13 interprets the bite stream data read out of the abstraction data storing table 22 with reference to the abstraction data attribute table 21, and outputs display information.例文帳に追加

読出しアプリケーションプログラム１３は、抽象化データ属性テーブル２１を参照しながら、抽象化データ格納テーブル２２から読出したバイトストリームデータを解釈し、表示情報を出力する。 - 特許庁

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

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。 - 特許庁

The abstraction program is configured to make an information processor 10 execute processing to extract the feature points of the graphic, and to divide an area including the graphic at the feature points in a coordinate axial direction in a coordinate system in which the abstraction of the graphic is performed.例文帳に追加

かかる抽象化プログラムは、図形の特徴点を抽出し、図形が抽象化される座標系における座標軸方向に特徴点で図形を含む領域を分割する処理を情報処理装置１０に実行させる。 - 特許庁

An application program 12 for storage, on receiving input information (telegraphic message), generates bite stream data having data items arranged in a predetermined order with reference to the abstraction data attribute table 21, and stores the bite stream data in an abstraction data storing table 22 in relation to the index data.例文帳に追加

格納用アプリケーションプログラム１２は、入力情報（電文）を受信した際、上記抽象化データ属性テーブル２１を参照することによって、所定の順序でデータ項目が配列されたバイトストリームデータを作成し、このバイトストリームデータを上記インデクスデータと関連付けて抽象化データ格納テーブル２２に記憶させる。 - 特許庁

A judging part 10 evaluates the importance of the class/member candidate of an extracting object from program analysis information 23 obtained from a program analyzing part 18 and role information 21 obtained from a role information analyzing part 16 to select a candidate to extract according to inputted abstraction degree 27.例文帳に追加

判定部10は，プログラム解析部27から得たプログラム解析情報23または役割情報解析部16から得た役割情報21から，抽出対象のクラス／メンバ候補の重要度を評価し，入力した抽象度27に応じて抽出する候補を選択する。 - 特許庁

A similarity search tool determines an abstraction level of a search condition on the basis of correction management information 11 for managing correction contents of programs and system structure information 12 showing structures of programs and abstracts a search object program and the search source code.例文帳に追加

類似検索ツールは、プログラムの修正内容を管理するための修正管理情報１１とプログラムの構造を示すシステム構造情報１２とに基づいて検索条件の抽象化レベルを決定し、検索対象プログラムと検索元コードを抽象化する。 - 特許庁

This simulation model allows an instruction having a higher abstraction degree than a conventional case such that the error generation instruction issues the error in a specific phase of a specific transaction, differently from a method like an error generation instruction by a step of a program, or designation by simulation time, in the simulation accompanied by the error generation of a system.例文帳に追加

システムのエラー生成を伴うシミュレーションにおいて、エラー発生指示が、シミュレーション時刻による指定や、プログラムのステップによるエラー発生指示といった方法でなく、特定のトランザクションの特定のフェーズでエラーを発行する、という様に、従来例より抽象度の高い指示を行うことができるシミュレーションモデル。 - 特許庁