ネットワークを構成するソフトウエアは社会基盤として重要な役割を担っています。さらにソフトウエアは携帯電話、自動車、家電製品などに組み込まれ、その役割は益々高まってきています。このためソフトウエアの開発には、生産性の向上だけでなく、安全性を高める新しい技術が必要となってきました。そのような技術として、開発方法論としてはフォーマルメソッドが、実装言語としては関数型言語が注目されています。