| 意味 | 例文 (1件) |
formal validationとは 意味・読み方・使い方
追加できません
(登録数上限)
意味・対訳 検証方法
「formal validation」の部分一致の例文検索結果
該当件数 : 1件
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.例文帳に追加
意味仕様から所望のプログラムコードを検索すること可能にするためにプログラムにその形式的意味仕様を，またプログラムの正しさ（仕様充足性）を保証するために仕様を満たすことの検査可能な形式的証明を，プログラムに同時に蓄積する。 - 特許庁
-
履歴機能過去に調べた
単語を確認! -
語彙力診断診断回数が
増える! -
マイ単語帳便利な
学習機能付き! -
マイ例文帳文章で
単語を理解! -
|
| 意味 | 例文 (1件) |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
|
ログイン |
Weblio会員(無料)になると
|
「formal validation」のお隣キーワード |
formal validation
weblioのその他のサービス
|
ログイン |
Weblio会員(無料)になると
|