Formal specificationとは 意味・読み方・使い方

To provide a booklet-like printed matter, which can cope with both a specification being delivered in an envelope as a normal booklet and a specification being delivered in a booklet for a sealed letter formal mailing post, and its usage.例文帳に追加

通常の冊子として封筒に入れられて配達される仕様と、封書形式のメール便用冊子で配達される仕様のいずれにも対応できる冊子状印刷物、および、その使用方法を提供する。 - 特許庁

In addition, a translator is provided to generate a complete, robust software application based on the validated formal specification, including user-interface code and error handling code.例文帳に追加

加えて、ヴァリデートした形式仕様に基づいて、ユーサーインターフェースコードとエラー処理コードを含む、完全でロバストなソフトウエアアプリケーションをジェネレートするためのトランスレーターを提供する。 - 特許庁

(6) No amendment or correction (other than an amendment or correction introduced in order to comply with the formal requirements) may be introduced in the specification to be filed under paragraph (4).例文帳に追加

(6) (4)に基づいて提出する明細書には，如何なる補正又は訂正(ただし，方式要件を満たすために施す補正又は訂正を除く)も施してはならない。 - 特許庁

(11) No amendment or correction (other than an amendment or correction introduced in order to comply with the formal requirements) may be introduced in the new specification to be filed under paragraph (9).例文帳に追加

(11) (9)に基づいて提出する新たな明細書には，如何なる補正又は訂正(方式要件を満たすために施す補正又は訂正を除く)も施してはならない。 - 特許庁

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

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

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

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

This marking ink for writing boards essentially contains polyvinyl butyral and/or polyvinyl formal as a resin and further a compound represented by the general formula 1 (see the specification) and/or a vegetable oil glyceride as a surfactant.例文帳に追加

樹脂としてポリビニルブチラール及び／又はポリビニルホルマールを含有し、界面活性剤として、下記一般式１で示される化合物及び／又は植物油グリセリドを含有することを必須条件とする筆記板用マーキングインキ組成物。 - 特許庁

When registering the configuration tree information formally in the database 7 after determination of final specification, the configuration tree information is moved from the work region 9 into a formal work region 12 and reregistered in the database 7 after deleting the image for prototype use of the graphic data and composing the manager's electronic seal.例文帳に追加

最終仕様確定後に構成ツリー情報を正式にデータベース７に登録する場合、作業領域９から正式作業領域１２に構成ツリー情報を移動させ、図面データの試作用のイメージ画像を削除し、管理者の電子印を合成してデータベース７に再登録する。 - 特許庁