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

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

プログラムの所望の振る舞いを定義した形式仕様および進化的アルゴリズムを用いて、プログラムを仕様に合った、即ち正当性証明可能なプログラムに進化させる方法およびシステムを提供する。 - 特許庁

This reference manual describes the Python programming language.It is not intended as a tutorial.While I am trying to be as precise as possible, I chose to use Englishrather than formal specifications for everything except syntax and lexical analysis.例文帳に追加

私は本マニュアルをできるだけ正確に書こうとする一方で、文法や字句解析以外の全てについて、形式化された仕様記述ではなく英語を使うことにしました。 - Python

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) 地理的表示の登録に関する裁定が確定するまでは，出願人は，蒸留酒の自己の地理的表示について共同体保護を求めるか否かについての意見書をハンガリー特許庁に提出することができる。 - 特許庁