1016万例文収録!

「program specification description」に関連した英語例文の一覧と使い方 - Weblio英語例文検索


小窓モード

プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > program specification descriptionに関連した英語例文

セーフサーチ:オフ

不適切な検索結果を除外する

不適切な検索結果を除外しない

セーフサーチについて

program specification descriptionの部分一致の例文一覧と使い方

該当件数 : 16



例文

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のような自然文を含む仕様記述言語による仕様記述において、自然言語の特性から来る作成効率、品質の問題を改善する仕様記述支援方法、仕様記述支援プログラム、仕様記述支援システムを提供する。 - 特許庁

CORRESPONDENCE RELATION SPECIFICATION METHOD, DEVICE AND PROGRAM BETWEEN REGISTER TRANSFER LEVEL DESCRIPTION AND OPERATION DESCRIPTION例文帳に追加

レジスタ転送レベル記述と動作記述間の対応関係特定方法、装置及びプログラム - 特許庁

METHOD, PROGRAM AND SYSTEM FOR SUPPORTING DESCRIPTION OF SPECIFICATION INCLUDING NATURAL SENTENCE例文帳に追加

自然文を含む仕様の記述支援方法、プログラムおよびシステム - 特許庁

This logic includes the specification and description of an extended instruction set used to rewrite the executable program code by the compressor.例文帳に追加

プログラムを圧縮するために、圧縮器エンジンが新たな拡張命令セットを使用することにより、実行可能コードを書換える。 - 特許庁

例文

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

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


例文

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)。 - 特許庁

To allow a user to describe a specification by an optimal specification form which is decided by a device itself for every function of a program to be automatically generated by the user based on specification description generated by the user.例文帳に追加

利用者が作成した仕様記述に従ってプログラムを自動生成するプログラム自動生成装置において、利用者が自動生成しようとしているプログラムが持つ機能毎に最適な仕様形式を装置自体が決定し、この決定した仕様形式で利用者に仕様を記述させる。 - 特許庁

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)。 - 特許庁

A constituting element extracting part 11 inputs the data of a program specification B prepared based on a program A to be tested by a reverse engineering tool 90, and executes analysis following the data description format of a program specification B to be prepared by the reverse engineering tool 90, and extracts the constituting elements of the program A defined in the program specification B.例文帳に追加

構成要素抽出部11は、リバースエンジニアリングツール90によってテスト対象のプログラムAをもとに作成されたプログラム仕様書Bのデータを入力し、このリバースエンジニアリングツール90が作成するプログラム仕様書Bのデータ記述形式に則った解析を行ない、このプログラム仕様書Bに定義されたプログラムAの構成要素を抽出する。 - 特許庁

例文

In addition, the specification file information of respective test items for the test program is extracted, and a test sequence is considered so as to minimize the amount of specification change of an LSI inspection apparatus, whereby the programming description enabling the shortest test period to be realized can be accurately and rapidly considered.例文帳に追加

さらに、テストプログラムの各テスト項目毎のスペックファイル情報を抽出して、LSI検査装置のスペック変更量が最小となるテスト順番を検討することにより、テスト時間を最短にするプログラミング記述の検討を正確かつ迅速に行うことができる。 - 特許庁

例文

To accurately and rapidly carry out creating an LSI inspection specification, checking test program specifications between different devices and considering a programming description enabling the shortest test period to be realized.例文帳に追加

LSI検査仕様書作成、異機種間のテストプログラム仕様の確認、テスト時間を最短にするプログラミング記述の検討を正確かつ迅速に行うことを目的とする。 - 特許庁

Then an analysis part 161 extracts class library specification information for specifying the class library identification information and the quantum processing description information from a quantum program.例文帳に追加

そして、解析部161において、量子プログラムから、クラスライブラリ識別情報を指定するためのクラスライブラリ指定情報と量子処理記述情報とを抽出する。 - 特許庁

To specify a specification created in a downstream process relating to constitutional elements when the description of some constitutional elements in a program function relation drawing created in an upstream process is changed.例文帳に追加

上流工程で作成されるプログラム機能関連図の一部構成要素の仕様が変更されたときに、その構成要素に関連する下流工程で作成される仕様書を特定する。 - 特許庁

A program is then generated which includes functions 310 to 340 for the respective calculation formula cells of the specification file 10 read in each including source code depending on the calculation formula described in the calculation formula cell to implement the calculation specification described in the associated specification description cell, and a main processing part 340 for calling the generated functions.例文帳に追加

読み込んだ仕様書ファイル10の計算式セルごとに、それぞれの計算式セル内に記述されている計算式に従うソースコードを含み、対応する仕様記述セルに記述された計算仕様を実現する関数310〜340と、生成された関数の呼出を行うメイン処理部340を含むプログラムを生成する。 - 特許庁

A CPU 1 executes a computer program 2a to classify design drawing and specification data 3a in respective files 3b of design drawings and specifications and to recognize information described in the respective design drawings and specifications to the respective files 3b of the design drawings and specifications based on a design drawing and specification recognition dictionary 2b including description rules of the respective design drawings and specifications.例文帳に追加

CPU1がコンピュータプログラム2aを実行することにより、設計図書データ3aを各々の設計図書のファイル3bに分類し、各々の設計図書の記載ルールを含む設計図書認識用辞書2bに基づいて、各々の設計図書のファイル3bに対し各々の設計図書に記載されている記載情報を認識する。 - 特許庁

例文

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

本発明は、高位言語で記述されたアルゴリズム仕様からレジスタトランスファレベルのハードウェア記述言語への変換を行う動作合成装置、動作合成制御方法、動作合成制御プログラム及び記録媒体に関する。 - 特許庁

索引トップ用語の索引



  
Copyright © Japan Patent office. All Rights Reserved.
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する
英→日 日→英
こんにちは ゲスト さん

ログイン

Weblio会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2024 GRAS Group, Inc.RSS