本書は情報処理学会のソフトウェアエンジニアリングシンポジウムの論文をまとめたもの。

SPINの基礎から実際の利用方法までを具体的に解説する日本で初めての書籍

◆SPINとは？
社会の様々なところにソフトウェアが組み込まれ、その規模が飛躍的に大きくなってきている中、従来その信頼性を確保するための手法であったテスト手法は、時間やコストなどの面で開発の現状に追いつけない状況が出てきている。
そのテスト手法に代わるものとして注目されてきているのが形式的手法による検証（モデル検査法）であり、その中の一つがSPINである。限られたテストケースでの誤りの無さを保障する従来のテスト手法に対して、数学的・論理的基盤に基づいて正しさを証明するモデル検査法は、無限に近い組合せに対しても正しさを保障できる手法であり、その中でもSPINは実際に産業界での適用事例も豊富で、その技術習得がソフトウェア技術者の必須要素として注目されてきている。

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

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

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

本書は情報処理学会のソフトウェアエンジニアリングシンポジウムの論文をまとめたもの。

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

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

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

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