翻訳と辞書
Words near each other
・ 詳しい話
・ 詳しく
・ 詳しく述べる
・ 詳らかでない
・ 詳伝
・ 詳伝社
・ 詳報
・ 詳密
・ 詳察
・ 詳細
詳細化
・ 詳細情報
・ 詳細釣り合い
・ 詳解
・ 詳言
・ 詳記
・ 詳註
・ 詳説
・ 詳論
・ 詳述


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

詳細化 : ミニ英和和英辞書
詳細化[しょうさいか]
=====================================
〔語彙分解〕的な部分一致の検索結果は以下の通りです。

詳細 : [しょうさい]
  1. (adj-na,n) detail 2. particulars 
: [か]
 (suf) action of making something

詳細化 : ウィキペディア日本語版
詳細化[しょうさいか]
詳細化(しょうさいか、Refinement)とは、形式手法において、抽象的な形式仕様記述から具体的な実行プログラムへと検証可能な変換を行うことである。
段階的な詳細化として段階を踏んで詳細化を行うこともできる。論理的には、詳細化は含意による変換であるが、追加的な複雑化を生じる要因もある。
詳細化の反対語は抽象化である。
== プログラムの詳細化 ==
「操作の詳細化」は、システムの操作の仕様を実装可能なプログラム(例えば、プロシージャ)に変換することである。この過程で事前条件は弱められ、事後条件は強められる。これにより仕様に内在する非決定性を削減し、完全に決定的な実装へと変換する。

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「詳細化」の詳細全文を読む




スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.