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

1 Adapted from ISO 14064-3, "Specification with guidance for the validation and verification of greenhouse gas assertions" (2005).発音を聞く 例文帳に追加

ISO14064－3「温室効果ガスの検証・認証にかかわる規定の明細」（2005 年）からの抜粋 - 経済産業省

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

意味仕様から所望のプログラムコードを検索すること可能にするためにプログラムにその形式的意味仕様を，またプログラムの正しさ（仕様充足性）を保証するために仕様を満たすことの検査可能な形式的証明を，プログラムに同時に蓄積する。 - 特許庁

Standards, used by assurers, which set requirements on how the assurance process is performed. (For example, ISO 14064-3: Specification with Guidance for the Validation and Verification of Greenhouse Gas Assertions).発音を聞く 例文帳に追加

アシュランスプロセスが実施される方法に関する要件を定める基準で、アシュランス実施者が使用するもの（例えば、ISO 14064-3：温室効果ガスに関する主張の妥当性確認および検証の仕様ならびに指針）。 - 経済産業省