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

The automated software production system 202 is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness.例文帳に追加

システムの要求を捉え、その要求を形式仕様へと変換し、その正しさと完全性についてヴァリデートする、自動ソフトウエア作成システムを提供する。 - 特許庁

An automated software production system is provided, in which system requirements are captured, converted into a formal specification, and validated for correctness and completeness.例文帳に追加

システムの要求を捉え、その要求を形式仕様へと変換し、その正しさと完全性についてヴァリデートする、自動ソフトウエア作成システムを提供する。 - 特許庁

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

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

If the registration of a geographical indication of a spirit drink is requested in an application for the registration of a geographical indication, the provisions of Article 113 shall apply subject to the following exceptions: (a) besides those specified in Article 113(1) the application for the registration of geographical indications shall also contain the product specification provided for by specific legislation; (b) the Hungarian Patent Office shall carry out the examination on filing (Articles 55 and 56) and the examination as to formal requirements (Article 59) out of turn; (c) if the application satisfies the requirements examined under subparagraph (b), the Hungarian Patent Office shall send the copies of the documents of the matter out of turn to the minister responsible for agricultural policy (hereinafter referred to as the “Minister”); (d) on the basis of the procedure followed under specific legislation for the examination of product specifications, the Minister shall give a statement to the Hungarian Patent Office within nine months from sending the documents pursuant to paragraph (c) whether he agrees, with regard to the product specification, with the registration of the geographical indication; the Hungarian Patent Office, sending simultaneously the ruling, shall inform the Minister that the ruling on the registration of the geographical indication has become final; (e) until the ruling on the registration of the geographical indication becomes final the applicant may submit comments to the Hungarian Patent Office whether he requests Community protection for his geographical indication of spirit drinks.例文帳に追加

地理的表示の登録出願において，蒸留酒の地理的表示の登録が求められている場合は，次の例外を条件として，第113条の規定が適用される。 (a) 第113条(1)にいう事項に加えて，地理的表示の登録出願には，特定法律により規定される生産品明細書を含めなければならない。 (b) ハンガリー特許庁は，出願に関する審査(第55条及び第56条)及び方式要件に関する審査(第59条)を，順不同で実施する。 (c) 出願が(b)に基づく審査要件を満たしている場合は，ハンガリー特許庁は，当該事項の書類の写しを，順不同で農業政策担当大臣(以下「大臣」という)に送付する。 (d) 特定法律に基づき生産品明細書の審査について行われた手続を基礎として，大臣は，ハンガリー特許庁に対し，生産品明細書に関して，また地理的表示の登録に関して合意するか否かの陳述書を，(c)による書類の送付から9月以内に提出する。ハンガリー特許庁は，大臣に対し，同時に裁定を送付して，地理的表示の登録に関する裁定が確定している旨を通知する。 (e) 地理的表示の登録に関する裁定が確定するまでは，出願人は，蒸留酒の自己の地理的表示について共同体保護を求めるか否かについての意見書をハンガリー特許庁に提出することができる。 - 特許庁