形式的仕様の英語

形式的仕様からテストプログラムを生成し、そのテストプログラムに手作業でプログラムコードを挿入した場合、仕様が変更されたときでも作成されたプログラムコードを再利用可能とする。例文帳に追加

To reuse a prepared program code even when a specification is changed, when a test program is prepared from the formal specification and when the program code is inserted manually into the test 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. - 特許庁

ほとんどの代数的仕様言語は,すべての公理が全称閉包(universal closure)として知られる形式であることを要求する．例文帳に追加

Most algebraic specification languages require that all axioms be in a form known as the universal closure.発音を聞く  - コンピューター用語辞典

wbits の値が負の場合、標準的な gzip ヘッダを出力しません。 これは zlib ライブラリの非公開仕様であり、unzip の圧縮ファイル形式に対する互換性のためのものです。例文帳に追加

When wbits is negative, the standardgzip header is suppressed; this is an undocumented feature of the zlib library, used for compatibility with unzip'scompression file format. - Python

同じコンテンツの信号を複数の信号形式で選択的に送出する送信側装置に対して、自己に好適する信号を受け取るための受信仕様データを出力する。例文帳に追加

To allow electronic equipment to output reception specification data for receiving a signal suitable to itself to a transmission-side device which sends out signals of the same contents selectively in a plurality of signal formats. - 特許庁

次いで、形式仕様からフロントエンドコードを自動的に生成し、Ｊａｖａ（登録商標）プログラミング言語等の第１のコンピュータ言語で記述する。例文帳に追加

Then, a front end code is automatically generated from the format specification, and described in first computer language such as Java (registered trademark) programming language. - 特許庁

パターンマッチ部は、形式的仕様から生成されたテストプログラムに対して、格納されているパターンとのマッチングを行い、対応するプログラムコードをテストプログラムに挿入する。例文帳に追加

A pattern matching part matches the test pattern generated from the formal specification with the stored pattern, and inserts the corresponding program code into the test program. - 特許庁

試験者は、ＵＭＬモデリングツール５０（以下、ツール５０）を介して、検証方法を表すテスト仕様を例えばシーケンス図の形式で視覚的に認識可能に作成することができる。例文帳に追加

Test specification showing a verification method can be created by an examiner so as to be visually recognizable, for example, in the format of a sequence figure through a UML modeling tool 50 (tool 50). - 特許庁