本書は、２００１年１１月に岩手県安代町で開催される、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第８回ワークショップ（ＦＯＳＥ２００１）の論文集である。招待講演論文とパネル討論、ならびに、厳正な審査によって採択された２５件の論文から成っている。

本書は、２０００年１１月に福岡県久山で開催された第７回ワークショップ（ＦＯＳＥ２０００）の論文集であり、招待講演論文と厳正な審査によって採択された３４編の論文から成っている。今回のワークショップでは、通常のセッションに加え、招待講演「ニーズ指向の情報駆動学における分析・モデリング・実現抽象化技術について」とパネル討論「２１世紀におけるソフトウェア工学の基礎とは？」を設定し、活発な議論が行われた。本書には、それらも収録されている。

計算機科学・ソフトウェア科学の分野の研究・教育における新しい発展・研究成果を迅速に公表するために、時宜を得た原著論文・解説論文の予備原稿、テクニカルレポート、講義録、研究会・ワークショップ報告集などを刊行するシリーズ。本書は、１９９９年１１月に北海道登別市で開催された、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」第６回ワークショップの論文集である。一般講演論文は、ソフトウェア工学における基礎理論や基礎概念ならびに基盤技術に関するものであり、招待講演は、「ソフトメカニクスにおける制御プログラムの構成」と「鉄道信号におけるソフトウェア安全性技術とフォーマルメソッド」の２件である。

本書は日本ソフトウェア科学会「インタラクティブシステムとソフトウェア研究会」が主催し、１９９８年１２月、宮崎シーガイヤにて開催した「第６回目インタラクティブシステムとソフトウェアに関するワークショップ」（ＷＩＳＳ’９８）での発表をまとめたものである。

本書は、１９９８年１１月に滋賀県守山市で開催される、ＦＯＳＥの第５回ワークショップ（ＦＯＳＥ’９８）の論文集であり、招待講演論文と厳正な審査によって採択された２６編の論文から成っている。

1997年12月開催「インタラクティブシステムとソフトウェア研究会」 のワークショップで発表された論文をもとに編集した論文集。

1997年開催の第4回「ソフトウェア工学の基礎研究会」のワークショップで発表された論文集。

本書は、第４回「インタラクティブシステムとソフトウェアに関するワークショップ」（ＷＩＳＳ’９６）の発表論文集である。

本書は、１９９６年１２月に会津若松市で開催された、「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第３回ワークショップの論文集であり、厳正なる審査によって採択された３５編の論文からなっている。

本書は、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第１回ワークショップ（ＦＯＳＥ’９４）で発表された論文の報告集。