※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。 生成AIおよびエージェントが拓くソフトウェア開発新時代 - 学会監修による全工程網羅の体系、事例、動向 　本書は、情報処理学会ソフトウェア工学研究会の監修のもと、生成AI・LLM・エージェントをソフトウェアの設計からテスト、運用・保守にいたる全工程、さらにはマネジメントにまで組み込むための実践的な体系をまとめた一冊です。表面的な技術の流行にとらわれず、事例や研究動向を交えながら、社会や産業における新たな方向性を解説しています。 　生成AIは、従来の自動化ツールでは困難だった多様で複雑なタスクを、思考のプロセスをともない、人と自然に対話するように遂行できます。これにより、顧客の声を的確に反映し、価値を継続的に高め、効率的かつ信頼性の高い開発と運用が可能になります。本書を通じて、従来の常識を超えたAI時代の開発のあり方を体得してください。 Chapter 1　生成AIの仕組み Chapter 2　生成AIによるソフトウェアの要求 Chapter 3　生成AIによるソフトウェアの設計 Chapter 4　生成AIによるプログラムの実装 Chapter 5　生成AIによるソフトウェアのテスト Chapter 6　AIエージェントによるソフトウェア開発の自動化 Chapter 7　生成AIの評価 Chapter 8　生成AIを活用したプロセスとマネジメント Chapter 9　生成AIによるソフトウェア産業の将来

本書の主題は、「正解を定義できないからこそAIを使う」ことから生じる矛盾を乗り越え、読者がAIシステムをテストできるようになることです。従来行っていた正解に基づくテストは無効ですので、AIソフトウェア向けの新しいテストの方法を説明していきます。 ●想定読者 本書の想定読者は、AIソフトウェアのテスト方法がわからず困っている技術者や、AIシステムに品質問題が発生しないか心配な品質保証担当者、あるいは自社の業務にAIを導入したいけれど、知識不足に不安を抱いている事業担当者などです。 ●本書に必要な前提知識 ・ソフトウェア開発の基礎知識だけでよく、AI/機械学習やソフトウェアテストの専門知識は不要です。 ・4章から7章のチュートリアルは、Pythonを知らなくても体験できます。 ・集合演算や論理式には簡単な記号だけを使っており、高校初級程度の数学の知識があれば、より深く内容を理解できるでしょう。 ・数式やプログラムコードを読み飛ばしても、概要を理解できるよう構成しています。 ●主な構成 まず、AIの専門家でない方々に向けて、１章ではできるだけ平易に「AIとは何か？」の説明から始めます。続く２章では、AIシステムのテストの難しさと、考え方を説明します。３章からはいくつかのテスト技術について説明するとともに、テストを実行するためのソフトウェアの導入方法や実行例も含めながら詳しく解説することで、読者がAIソフトウェアのテストを実践できるようになることをめざします。 ◆「AI/Data Science実務選書」とは… AI開発とデータサイエンスのプラクティスを集め、実務家のスキル獲得／向上を力強く支援します。

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

ソフトウェアテストは、テスターや品質保証部門だけの仕事ではありません。単に不具合を見つけ出す以上の役割があるのです。本書は、そのような「ソフトウェアテストの広い役割を知ってほしい」と思って執筆しました。 　主な読者には、「開発経験は多少あるものの、テストについてはこれから」、あるいは「改めて知識を整理したい」というエンジニアの方々を想定。基本的な概念を体系的に示しつつ、新しいトピックスも含めることで、ソフトウェアテストの全体感を一冊で俯瞰できるようにしました。また、多くの先人たちの知見を紹介する一方、筆者たちが業務で行っている工夫を加え、読者が実践的な技法まで修得できるよう最大限努めました。 本書の執筆陣は、幅広い事業領域を持つ企業で、各々が複数の製品ドメインに携わってきた研究者や技術者です。社内外でテスト技術の普及活動にも携わってきました。それぞれが得意とするネタを持ち寄って、できる限り広範に、実践的な内容を盛り込みました。　（本書「まえがき」より抜粋して編集）