ＰＣ作ろう

プログラムとしてのソフトウェアは、それをどのように構成構築していくかということが重要な問題となってきている。また、大規模な業務システム分野では疎結合のコンポーネントを用いてモジュラーな開発を実現するSOAが登場している。規模の増大とともに、システム構築の確実性を確保する「形式手法」なども注目されている。プログラム言語のパラダイム論として、ソフトウェアのパターンを論じる「デザインパターン」は、Prologなどの論理プログラミング、ユーティリティレベルに重点を置き、建築の分野にヒントを得て一定の地位を築いている。Haskelなどの関数型プログラミングなどの比較研究がある。実装工程をできるだけ自動化するモデルドリブンな開発手法も重要性を増している。Smalltalkなどのオブジェクト指向、アプリケーションのレベルで、それぞれのヘッダ情報として宛先アドレスや発信者情報などが付与されたデータのことである。