アワーPC

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