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

SPECIFICATIONS INFORMATION EXCHANGE SERVER, METHOD FOR EXCHANGING SPECIFICATIONS INFORMATION, SPECIFICATIONS INFORMATION EXCHANGE PROGRAM, METHOD FOR BUYING AND SELLING PRODUCT OF SPECIAL SPECIFICATIONS例文帳に追加

仕様情報交換サーバ、仕様情報交換方法、仕様情報交換プログラム、特殊仕様製品の購入方法及び特殊仕様製品の販売方法 - 特許庁

A program generating means 123 generates a target program 114 from the program input specifications 113.例文帳に追加

プログラム生成手段１２３は、プログラム入力仕様１１３からターゲットプログラム１１４を生成する。 - 特許庁

To improve the accuracy of collation between a program and specifications when the program is corrected.例文帳に追加

プログラムの修正時でのプログラムと仕様書との照合精度を向上させる。 - 特許庁

A common specifications storing part 103 stores program input specifications 112 common in programs to be generated.例文帳に追加

共通仕様記憶部１０３は、生成するプログラムに共通的なプログラム入力仕様１１２を記憶する。 - 特許庁

To provide a program creation support system, automatically selecting the optimum program-to-program interface for the specifications of a developed program.例文帳に追加

開発するプログラムの仕様に最適なプログラム間インタフェースを自動的に選択できるプログラム生成支援システムを提供すること。 - 特許庁

To provide a method and system for evolving a program to the program suitable for specifications, namely, the provably correct program using formal specifications and evolutional algorithm in which desired behaviors of the program is defined.例文帳に追加

プログラムの所望の振る舞いを定義した形式仕様および進化的アルゴリズムを用いて、プログラムを仕様に合った、即ち正当性証明可能なプログラムに進化させる方法およびシステムを提供する。 - 特許庁

In an input device 102, the program developer inputs created partial program input specifications 111.例文帳に追加

入力装置１０２は、プログラム開発者が作成した部分的なプログラム入力仕様１１１を入力する。 - 特許庁

To improve the efficiency in the development of an application generator by making describable a program piece to be described in conversion rule definition to be the specifications of generator operation similarly to an output program piece to be outputted from a generator and making automatically generaable an abstract syntax tree data type definition expressing a syntax analyzer and generator input specifications from grammar specifications to be the generator operation specifications.例文帳に追加

アプリケーションジェネレータ開発支援装置及び支援方法に係り、出力するプログラムの断片を、ジェネレータの変換規則中に変換規則の記述を容易すると同時に、構文解析器の作成を容易し、アプリケーションジェネレータの開発の効率化を図る。 - 特許庁