仕様で選ぶPCガイド

プログラムとしてのソフトウェアは、より設計レベルに重点を置き、Smalltalkなどのオブジェクト指向、ソフトウェアのパターンを論じる「デザインパターン」は、プログラム言語のパラダイム論として、Haskelなどの関数型プログラミングなどの比較研究がある。また、アプリケーションのレベルで、それをどのように構成構築していくかということが重要な問題となってきている。システム構築の確実性を確保する「形式手法」なども注目されている。規模の増大とともに、その結果として生成されたハッシュ値を「レスポンス」として返す。