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

FORMAL REQUIREMENTS CONCRENING PATENT AND UTILITY MODELS例文帳に追加

特許及び実用新案の出願に関する方式要件 - 特許庁

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

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

The models have a formal action semantics so that they are executable and testable and can be translated directly into code by executable UML model compilers.発音を聞く 例文帳に追加

これらのモデルは形式上のアクション・セマンティクスを持ち、そのためそれらが実行可能、試験可能であり、また実行可能UMLモデル・コンパイラによって直接にコードに翻訳され得るのである。 - コンピューター用語辞典

A utility model application shall be registered without substantive examination provided all fees such as filing, excess claims and publication fees are paid on time and all formal requirements set forth in these Regulations are filed without prejudice to a determination as regards its novelty, industrial applicability and whether or not it is one of the non-registrable utility models.例文帳に追加

実用新案出願は，出願手数料，超過クレーム手数料，公告手数料等すべての手数料が期限までに納付され，本規則に定めるすべての方式要件が満たされることを条件として，実体審査を受けずに登録される。ただし，このことは，当該実用新案の新規性，産業上の利用性及びそれが登録することができない実用新案であるか否かについて決定することを害するものではない。 - 特許庁

In all applications which have been rejected or become abandoned, the model, unless it be deemed necessary that it be preserved in the Office, may be returned to the applicant upon demand and at his expense; and the model in any pending case may be returned to the applicant upon the filing of a formal abandonment of the application signed by the applicant in person and any assignee. Models belonging to patented cases shall not be taken from the Office without the authorization by the Director.例文帳に追加

拒絶又は放棄したすべての出願において，ひな形は，庁に保管することが必要であるとみなさない限り，出願人による請求があり，かつ，費用負担があったときに，出願人に返還することができる。また，係属中の事件におけるひな形は，出願人本人及びその譲受人が署名した正式の出願放棄書が提出されたときに，出願人に返還することができる。 特許が付与された事件に属するひな形は，局長の許可なく庁から持ち出してはならない。 - 特許庁