formal modelとは 意味・読み方・使い方

A second formal verification unit 36 performs a formal verification of circuit behavior on an asynchronous verification model representing the asynchronous circuit to be verified which is the combination of such verification models.例文帳に追加

第２形式検証部３６によって、検証用モデルを組み合わせた、検証対象の非同期回路を表わす非同期検証用モデルに対して、回路動作の形式検証を行う。 - 特許庁

A fully formal and correct requirements model does not guarantee the success of a development approach based on automated code generation.発音を聞く 例文帳に追加

完全に形式的で正確な要求モデルが、自動コード生成に基づく開発アプローチの成功を保証するものではない。 - コンピューター用語辞典

formal request, pursuant to Form Model II, provided in Normative Act no. 132/97, in Portuguese, signed by the applicant or its attorney-in-fact;発音を聞く 例文帳に追加

規範法第132/97号に定める様式モデルIIに基づくポルトガル語の公式の請求で，出願人又はその代理人が署名したもの - 特許庁

The computer further generates, based on generalization of the component class to the meta component class and the meta model, a semantic model which shows the meaning of the second class diagram that the component class is a class in which the component is modeled in a formal language.例文帳に追加

コンピュータはさらに、部品クラスからメタ部品クラスへの汎化とメタモデルに基づいて、部品クラスが部品をモデル化したクラスであるという第２のクラス図の意味を形式言語により表す意味モデルを生成する。 - 特許庁

Then, individual operation commands of a design procedure of a shape model designed on the criteria of the provisional design plane are executed by replacing a reference destination to the plane group of the formal design plane.例文帳に追加

そして、仮意匠面を基準に設計した形状モデルの設計手順の個々の操作コマンドを、参照先を正式意匠面の面グループに置き換えて実行する。 - 特許庁

Regulations on keeping the Register Books and on other formal procedures for the filing of the patent or utility model applications are set by decision of the Administrative Council of O.B.I.発音を聞く 例文帳に追加

登録簿の維持及び特許出願又は実用新案証出願に係るその他の正式手続に関する規則は，O.B.I.の管理評議会の決定により定められる。 - 特許庁

The utility model application shall be classified and examined as to the completeness of the formal requirements prescribed in these Regulations, and a report thereon shall be transmitted to the applicant.例文帳に追加

実用新案出願は，分類された上で本規則に定める方式要件が完全であるか否かについて審査され，これに関する報告が出願人に送付される。 - 特許庁

According to 'The Garment Code' of "Yoro Ritsuryo Code," oni was determined as the color of 'koromo' (robe) of crown prince's reifuku (formal dress used for choga [retainers' New Year's greeting to the emperor] and the enthronement ceremony) and chofuku (the original model of sokutai).発音を聞く 例文帳に追加

黄丹は、『養老律令』の「衣服令」において皇太子の礼服（朝賀と即位に使う正装）・朝服（のちの束帯の原型）の「衣」の色と規定されている。 - Wikipedia日英京都関連文書対訳コーパス