コンピュータプログラムの特性は本質的に決定不能であるため、抽象化はコンピュータプログラムを扱う場合に有効である(ライスの定理参照)。同様にプログラムの動作によって情報を引き出す自動化手法は、停止性(場合によっては失敗したり、いつまでたっても結果が出ないことがある)、健全性(誤った情報を提供することがある)、正確性(問題に対して答えられない場合がある)のいずれかを諦めざるをえない場合がある。抽象化は抽象解釈の中核的概念である。モデル検査は一般に対象システムを抽象化したものに対して行われる。抽象化レベル.計算機科学における「抽象化レベル」または「抽象化層」の概念では、各レベルは同じ情報やプロセスの異なったモデルとなっているが、特定領域に適用可能なオブジェクトや構成のユニークな集合に関する表現体系を使う。レベルの高いほうはより抽象的であり、レベルが下るに従ってより細かく詳細になっていく。例えば、電子回路による論理ゲート、論理ゲート上のバイナリ、バイナリ上の機械語、機械語上のプログラミング言語、プログラミング言語上のアプリケーションソフトウェアやオペレーティングシステムといった階層である。各レベルには実体があるが、ある程度自己完結的な言語とすることで、下位レベルに完全に依存しないようにできる。データベースシステム.データベースシステムのユーザーの多くは、コンピュータのデータ構造には詳しくない場合が多いので、データベース開発者は以下のような階層化によって複雑さを隠蔽することが多い。階層型アーキテクチャ.異なったレベルの抽象化による設計は次のことを提供する。これはシステム設計やビジネスプロセス設計に使われる。一部のモデリング言語は複数の抽象化レベルを含む設計を生成する。モザイク(遊佐未森のアルバム)概要.ミックスダウンとジャケット撮影をイタリアで行った。山室惠人物.社会的に注目を集めた事件を数多く担当し、中には事件そのものよりも裁判官としては異例ともいえる公判中の発言や説諭で世間の注目を集め、有名な事件となったケースもある。主な担当事件.梶取信号所梶取信号所(かんどりしんごうじょ)は、和歌山県和歌山市梶取にある、南海電気鉄道(南海)加太線の信号場である。構造.