本書は、２００１年１１月に岩手県安代町で開催される、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）の第８回ワークショップ（ＦＯＳＥ２００１）の論文集である。招待講演論文とパネル討論、ならびに、厳正な審査によって採択された２５件の論文から成っている。
もくじ情報：ソフトウェア工学の基礎は堅牢か；埋め込み型プログラムの半自動生成；ソフトウェア工学の将来；パネル：知的なソフトウェア工学に向けて；評価戦略における完備性および厳密性解析；真の並行プロセス論理における充足可能性判定のための項書換え系；データフローと構造に着目した波及効果解析によるソフトウェア要求仕様の変更支援手法；ＴＲＭＩによる分散オブジェクト開発の自動化；ユースケースの縒合せによるＧＵＩプロトタイプ生成手法；ＣｌａｓｓＦａｃｔｏｒｙを用いたグループ開発作業における排他制御方式の検討〔ほか〕

杉山　安洋(スギヤマ　ヤスヒロ)
日本大学