本書は日本ソフトウェア科学会「インタラクティブシステムとソフトウェア研究会」（略称ＩＳＳ研究会）の主催する第一回ワークショップ「インタラクティブシステムとソフトウェアに関するワークショップ（ＷＩＳＳ’９３）」で発表された論文をもとめたものである。