「形式的仕様」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

意味仕様から所望のプログラムコードを検索すること可能にするためにプログラムにその形式的意味仕様を，またプログラムの正しさ（仕様充足性）を保証するために仕様を満たすことの検査可能な形式的証明を，プログラムに同時に蓄積する。例文帳に追加

To enable retrieval of a desired program code from a semantic specification, formal semantic specifications of programs and formal certifications capable of inspecting whether the programs satisfy specifications for assuring the validation of programs (specification satisfying property) are simultaneously accumulated in the programs. - 特許庁

ブロック線図を含むプログラム仕様書をユーザが理解し易く、見やすい形式で自動的に作成され、またプログラム仕様書の作業効率を向上させたプログラム仕様書自動生成システムを提供する。例文帳に追加

To provide a system for automatically generating program specification for automatically preparing a program specification including block diagrams in a manner easy to understand and see by a user, and improving the working efficiency of the program specification. - 特許庁

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

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

あらかじめ形式的に記述しておいた仕様（例えばメソッドの事前条件と事後条件）に従って、プログラムの動作状況を自動的に検証、プログラム内の誤っている箇所の範囲、つまり挙動を確認すべき範囲を自動的に絞り込む。例文帳に追加

In the information processor, an operation situation of the program is automatically verified according to previously formally described specifications (e.g. a precondition and a postcondition of a method), and a range of an erroneous position inside the program, that is, a range wherein behavior should be confirmed is automatically narrowed down. - 特許庁

赤目自動補正機能付きの撮像装置において、赤目自動補正の設定をＯＮにしていても記録形式がＲＡＷ等の未加工設定であれば、仕様的に矛盾するため撮像画像データに対して赤目自動補正処理を行うことはできない。例文帳に追加

To solve such a problem that when a recording format is set to RAW or the like, automatic red-eye effect correction processing can not be performed on imaged image data because of a specification inconsistency although automatic red-eye effect correction is ON. - 特許庁

プログラミング言語に知識のない開発者が、データ項目をはじめとするいくつかの業務ルールを指定することにより、画面プログラムを含む基本的業務ロジックの完全自動生成を可能とし、仕様に準拠したＷｅｂアプリケーションの実行形式プログラムの自動生成装置を提供する。例文帳に追加

To provide a device for automatic generation of an executable program of a Web application compliant with specifications that can fully automatically generate basic business logic including a screen program when a developer unskilled in programming languages specifies some business rules including data items. - 特許庁

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

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. - 特許庁

監視用表示画面の表示項目ごとに表示形式や表示条件を設定可能とする作画環境を備えた施設監視表示処理システムにおいて、作画環境から表示画面の仕様や試験項目に関する帳票を容易に出力可能とすることで、より効率的な開発環境を提供する。例文帳に追加

To provide a more efficient development environment by making it possible to easily output a document concerned with the specifications of a display picture and test items from a plotting environment in a facility monitor and display processing system provided with a plotting environment capable of setting up a display format or a display condition in each display item on a monitoring display picture. - 特許庁