【DXを社会実装するために必要な工学的取り組みを記した手引書！！】

　要求工学知識体系(REBOK)の第4弾。社会にインパクトを与える「問題発見」のための要求獲得技術と「価値創出」のためのモデリング技術を中心に、DXに取り組む読者が手引書として活用できるようまとめています。

※近代科学社Digitalのプリントオンデマンド（POD）書籍は、各書店の店舗でもご注文いただけます。受注生産となりますので、お届けまでに10日～14日ほどかかります。

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

論理的なバクを発生させない形式手法!!
Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。
Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。
本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。
形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

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

ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。
　本書は、この手法の一つVDMとオブジェクト指向記述言語VDM++について実践的に解説する。ソフトウェア開発者、研究者、大学院生必読の書である。

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

品質向上に貢献する、要求獲得技法を詳解！
　ソフトウェアが社会に浸透すると供に、ソフトウェア開発の上流工程ではビジネスや運用環境の変化に即した要求の獲得・仕様化・確認・管理が求められている。要求工学では曖昧で変化しやすい要求を工学的に扱うことで、品質の高い要求仕様書を効率的に作成する各種の手法が開発されている。本書は、要求工学の基礎知識の理解と習得に役立つ1冊である。

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