要求分析は、開発者にとって常に頭の痛い課題である。分析の良し悪しがシステム開発の成功に大きく関係し、一方では分析対象であるユーザからの要求は曖昧性が高く、整合性がとれていないのが一般的である。
　本書はこの頭の痛い課題を、NTTソフトウェアイノベーションセンタで実際に教育用に活用されていた教材をもとに、スマートメータ設置手配業務の事例で学んでいく。
　また、多くの国内企業が活用している要求工学知識体系REROKをベースとしているので、本書で得た知識は汎用的に活用することができる。要求分析に悩んでいる技術者、これから実際に要求分析を学ぼうとしている技術者、学生には最適の書である。

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（FOSE）が主催するワークショップのための論文集．FOSEとはソフトウェアを知的資産として活用していくための基盤確立を目指す研究会のことで，関連分野の研究者・技術者に議論の場を提供している．年一回開催されるワークショップは1994年の第1回大会から数えて今年で21回目．

日本を代表するメーカーの要求工学！
本書は、NTTデータ、富士通、日立ソリューションズ、野村総合研究所、東芝ソリューション、リコーITソリューションズで実際におこなわれている要求工学の手法を、実践的に解説したものである。要求工学知識体系（REBOK）を中心とした各社の手法は、実務に携わる技術者にとっては必携の書である。

日本ソフトウェア科学会における「ソフトウェア工学の基礎」研究会(FOSE)が毎年主催するワークショップのための論文集第20巻。FOSEはソフトウェアを知的資産として活用していくための基盤確立を目指す研究会で、関連分野の研究者・技術者に議論の場を提供している。

並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。

「リアルタイムシステム」（組込系など）への手法！
UPPAAL（ウパール）は，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説している．

日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（FOSE)が主催する第18回ワークショップの論文集である。

情報システムには、多様なステークホルダが関わるため、現場において要求工学を実践するためのガイドラインが求められている。
　本書は、要求工学のグローバル知識に基づき、現場視点から技術者が参画して、実践するガイドラインとして要求知識体系をまとめた。
　システム開発者、ユーザ、製品企画など「要求」に携わる方必携書。

2010年度に開催された日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会における研究論文と解説論文をまとめた論文集。

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