オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。
　本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。

仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。

本書は、実際にアーキテクチャを設計するための具体的なスキルとして設計原則や開発プロセスと対応付けながら、アーキテクトの最も基本的な素養としてのソフトウェアパターンを丁寧に解説している。ソフトウェアアーキテクト育成ための理論と実践という観点でバランスのとれた書籍であり、独習書として実務家にも最適である。

本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（ＦＯＳＥ：Ｆｏｕｎｄａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１３回ワークショップの論文集である。

1979年に発行された『ソフトウェア・テストの技法』は、「作ったソフトウェアが意図した通りに動き、意図していないことはしないようにするにはどうしたらよいか」という、もっとも根本的な問題を扱っており、四半世紀にわたって読み継がれる、この分野の古典となっている。
　第2版では、インターネット時代に合ったソフトウェアの品質を確保するため、第8章を全面的に書き換え、第9章と付録を新たに追加した。

本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（ＦＯＳＥ：Ｆｏｕｎ‐ｄａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１２回ワークショップの論文集である。

「ソフトウェア工学の基礎研究会」のワークショップの論文集である。

初版からすでに十数年が経過したことにともない、ソフトウェア工学に関する領域も、技術的に大きな変貌を遂げてきた｡開発マシンについては、当初は中央集中型による大型コンピュータが全盛だったが、現在は分散ネットワーク対応型のワークステーションやパソコンが主流になっている｡コンピュータとのインターフェイスも、文字ベースのCulからグラフィックベースのGulに移行してきており、それらに対応したソフトウェア開発環境も整備されてきている｡
このようなことから、今回の改訂にあたっては、オブジェクト指向やビジュアル開発環境など最近の話題についても取り上げるような構成にするとともに、ソフトウェア工学の分野を、できるだけ体系的に捉えられるように心がけた｡そのために、本文の中で、該当する参考文献も参照できるように列挙している｡
ソフトウェア工学という分野に関心をもち始めた方々や、大学等でソフトウェア工学に関する勉強を始める学生諸君にとって、入門的な教科書になるように心がけたつもりである｡

本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（略称ＦＯＳＥ：Ｆｏｕｎｄａｔｉｏｎ　ｏｆ　Ｓｏｆｔｗａｒｅ　Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１０回ワークショップの論文集である。

本書は、２００２年１１月に愛媛県松山市で開催される、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）第９回ワークショップの論文集である。