※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。 人工知能の基礎から最新技術まで、事例を通して適用法と効果を体系的に解説。 IT Textシリーズは情報処理学会編集の教科書として、大学や高専などでこの間一定の評価を得てきました。本書は論理・推論・知識表現・探索など人工知能の基礎技術から、プログラム言語、AIシステム開発、さらにはエージェントやセマンティックWeb、機械学習などの最新技術まで、事例を通して、適用法と効果が理解できるよう体系的に解説した教科書です。 第1章　人工知能の歴史と今後 第2章　探索による問題解決 第3章　知識表現と推論の基礎 第4章　知識表現と利用の応用技術 第5章　機械学習とデータマイニング 第6章　知識モデリングと知識流通 第7章　Web上で活躍するこれからのAI 第8章　社会で活躍するこれからのAIとツール

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 アジャイル導入のメリット最大化へ！ 　ソフトウェア工学分野の“大御所”バートランド・メイヤー博士の手による、アジャイル入門書にして具体的な開発手法にまで言及した一冊。アジャイルのプラス面だけでなく、マイナス面にも切り込んで紹介している点が本書の特徴である。 　アジャイルができること・できないこと、世間一般のアジャイルへの誤解などを明らかにすることで、アジャイル導入のメリットの最大化を目指す。各章ともコンパクトにまとめられており、初学者でも無理なく読み進められる一方、開発現場で頻出する諸問題にも詳しいため、現場レベルでも役立つ。

アジャイル時代に効果的な品質保証を進めるための23のパターン アジャイル開発において効率的かつ効果的に品質保証を進めるための 具体的で実践的な方法をまとめたパターン集 『Quality Assurance to Agile Quality』（QA to AQ、QA2AQ）。 「QA to AQ」では、ロードマップから日々のモニタリングに至る あらゆるアジャイル開発の段階において品質に取り組むコツを、 頻出の問題に対する実証済みの解決策として提示されています。 本書では「QA to AQ」に収録された各パターンを翻訳して紹介し、 さらに日本語版オリジナルとして、 日本のアジャイル開発における実践事例や、 複数のパターンを組み合わせて組織的に展開する方法を解説します。 ※本書は、ソフトウェア開発者向けメディア「CodeZine」に 掲載された連載を加筆・再編集した内容になります。 【本書収録のパターン】 品質のインテグレート／障壁の解体／QAを含むOneチーム 品質スプリント／プロダクト品質チャンピオン／アジャイル品質スペシャリスト 品質チェックリスト／品質作業の分散／品質エキスパートをシャドーイング QAリーダーとペアワーク／できるだけ自動化／重要な品質の発見 品質シナリオ／品質ストーリー／測定可能なシステム品質 品質の折り込み／着陸ゾーン／着陸ゾーンの再調整 着陸ゾーンの合意／品質ロードマップ／品質バックログ システム品質ダッシュボード／システム品質アンドン ※プレビューにてお手持ちの電子端末での表示状態をご確認の上、商品をお買い求めください。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 UPPAALは，モデル検査ツールとしては比較的利用が容易ではあるが，実際の開発には多くのハードルがある．本書では，そのようなハードルを乗り越えるために必要な，UPPAALツール，時間オートマトン，検証したい性質を記述するための時間時相論理に関する知識，および実際の開発で検証の対象となるUML設計仕様のUPPAALによるモデル化方法など，具体的事例も交えてノウハウを解説している．

★機械学習を「工学」として熟成していくために★ 【推薦の言葉】 AIブームの3回目は、機械学習技術が牽引してきた。業務や生活の 中で使われるようになるにつれて、現場や社会における課題に直面 している。機械学習工学を生み出した著者らによる本書は、技術と 現場をつなぎ、普及させていくための羅針盤となる貴重な一冊である。 ――浦本直彦氏(三菱ケミカルグループ、元・人工知能学会会長) 注目の新領域「機械学習工学」の入門書。まずはこの一冊から始めよう！ 機械学習ソフトウェアの開発・テスト・運用の方法論を体系的に俯瞰できる。 開発現場で試行錯誤しているエンジニアはもちろん、エンジニアと協働している人すべてに読んでほしい。 【主な内容】 巻頭言（丸山宏・PFN） 第1部　機械学習工学とは 第1章　機械学習工学（中川裕志・理化学研究所、石川冬樹・国立情報学研究所） 第2部　機械学習システムの開発・運用マネジメント 第2章　機械学習システムの開発とその検証プロジェクト（竹内広宜・武蔵大学） 第3章　機械学習システムの運用（堀内新吾、土橋昌・株式会社エヌ・ティ・ティ・データ） 第3部　機械学習システムの開発技術と倫理 第4章　機械学習デザインパターン（鷲崎弘宜・早稲田大学） 第5章　品質のとらえ方と管理（石川冬樹・国立情報学研究所） 第6章　機械学習モデルの説明法（原聡・大阪大学） 第7章　AI倫理（中川裕志・理化学研究所） 第4部　機械学習と知財・契約 第8章　機械学習と知財・契約（柿沼太一・弁護士法人STORIA） 第5部　機械学習工学の今後 第9章　今後に向けて（石川冬樹・国立情報学研究所） 付録A　模擬裁判の紹介（柿沼太一・弁護士法人STORIA）

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ＜A5判の書籍を固定レイアウトで制作したものです。大きめの端末でご覧ください＞ GQM+Strategies（目標・質問・メトリクス＋戦略）アプローチ 　本書で解説するGQM+Strategies（目標・質問・メトリクス＋戦略）アプローチは、目標に沿って測ることを決めるという意識的・無意識的に広く用いられているGQM（目標・質問・メトリクス）法を拡張し、残念なITシステムを作らないようにするためのものである。具体的には、測定を通じて目標を定量管理する中で、組織のあらゆる箇所や階層において目標とITシステム化に代表される戦略を整合させ、改善させ続けることを可能とする。 　本書執筆にあたっては、ドイツIESE研究所（実験的ソフトウェア工学研究所）ならびに日本国内における豊富な実践適用を経た結果を反映させており、経営者や投資（特にIT投資）を検討する立場の方から、戦略（特にITシステム）の企画立案や運用に携わる方まで、幅広く役立つものとなっている。 ★このような方におすすめ 企業のITシステム開発者 ★目次 第1章　まず理解しておくこと 第1部　GQM＋Strategiesアプローチ 第2章　GQM＋Strategiesのポイント 第3章　フェーズ0：初期化 第4章　フェーズ1：環境の特性化 第5章　フェーズ2：目標と戦略の設定 第6章　フェーズ3：実行計画の策定 第7章　フェーズ4：計画の実行 第8章　フェーズ5：成果の分析 第9章　フェーズ6：結果のまとめ 第2部　業界への適用と他の手法との関係 第10章　各社の適用例 第11章　他のアプローチとの関係 第12章　まとめと今後に向けた見解 付録A　GQM＋Strategiesプロセスチェックリスト 付録B　GQM＋Strategies評価アンケート

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ありそうで無かった解説書！机上の理論ではなく、開発の現場で活かせる実践的知識と理論の体系化！ ソフトウェア開発の裏表を知り尽くした現役エンジニアが語る基本とエッセンス！ ソフトウェア工学は、ソフトウェア開発に内在する課題や問題を解決する土台となる基礎知識。しかし、様々な要素が複雑に絡まる開発現場では、抽象化された理論では対応しきれない面があることも否定できない。本書は著者が長く開発の第一線で活躍してきた中で、理論と経験を現場で活かせる知識として体系化した、実践に使えるソフトウェア工学の解説書。エンジニアの目からウロコの１冊です。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 開発の現場で活かせる実践的知識と理論を体系化！ 　現場視点のソフトウェア工学の知識が網羅的に紹介されているとして好評を博した『トップエスイー入門講座1　実践的ソフトウェア工学』の第2版。初版を踏襲した章構成に掲載項目追加し、新たに用語解説等も加え、より内容を充実させた。 　ソフトウェア工学の知識を持たない初学者でも、開発現場で生かせる理論までを学ぶことができる1冊。現場技術者の学び直しにも最適。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 平成32年4月～学習指導要領の改訂が施行され、「プログラミング的思考」の学習が必須となります。 本書は、プログラミング的思考をクイズやゲームを通じて、たのしく学ぶことができます。 これからプログラミング的思考を学ぶ方、教える方が飽きずに学べるようにイラストを多くちりばめました。 サンプル素材はすべてScratch3で公開し、再利用可能としました。 ●まずは身近なクイズでプログラミング的思考に触れる 遠足や調べ学習など、小学生が実際に体験することを題材として、プログラミング的思考をやさしく学びます。 ●わかりやすい解説 クイズの内容を踏まえて、アルゴリズムやモデル化、シミュレーションといったプログラミング的思考をしっかりと理解することができます。 ●Scratchでプログラミングを体験 クイズで学んだ内容を活かして、Scratchで基本的なプログラミングに触れることができます。 クイズはパソコンを使うことなく、すぐに取り組むことができます。 また、インターネット環境のあるパソコンを使えば、本書で紹介したScratch作品を使って学習することができます。 授業ですぐに使えるように構成しました！ 総ルビと豊富なイラストによる解説で、小学生でも本書を通じてプログラミング的思考を学ぶことができます。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 昨今、ソフトウェアの正しさを保証するソフトウェア検証の技術が重要視されているが、その中でも特にモデル検査が脚光を浴びている。それは数理論理学などに関する知識があまりない技術者にも、ソフトウェア開発の中で利用することが可能だからであろう。本書はSPINを中心にモデル検査をいかにしてソフトウェア開発のプロセスの中に位置づけるかについて実例を通して詳説している。

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

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 本書は、実際にアーキテクチャを設計するための具体的なスキルとして設計原則や開発プロセスと対応付けながら、アーキテクトの最も基本的な素養としてのソフトウェアパターンを丁寧に解説している。ソフトウェアアーキテクト育成ための理論と実践という観点でバランスのとれた書籍であり、独習書として実務家にも最適である。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 ※この電子書籍は紙版書籍のページデザインで制作した固定レイアウトです。 ソフトウェア品質に関する膨大な技術を整理、体系化 本書は、ソフトウェア、ITシステムの専門家である著者らが長年取り組んできたソフトウェアの品質について体系立てて整理し、簡潔に解説したものです。第1版発行から13年、第2版から6年が経過し、ソフトウェアを取り巻く環境は大きく変化しました。これを踏まえ、従来の内容を見直し、最新の技術（AI、IoTなど）の品質についても大幅に加筆しました。本書の情報をもとに、ソフトウェアの品質がどのようなものであるのか、どのように品質を確保するか、といった検討が可能になります。ソフトウェアに携わるすべての方におすすめの一冊です。 序章　SQuBOKガイド　概略 第1章　ソフトウェア品質の基本概念 第2章　ソフトウェア品質マネジメント 第3章　ソフトウェア品質技術 第4章　専門的なソフトウェア品質の概念と技術 第5章　ソフトウェア品質の応用領域

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 明確な仕様の記述と検証を行わずして、抵当な開発を行うことは出来ない！ ソフトウェア開発では、上流工程を自然言語で表現する。このため論理的不一致などがおき、手戻りが発生する。これを解決する方法として考えられたのが、数学を用いた形式手法である。本書は、この手法の一つであるVDMとオブジェクト指向記述言語VDM++について実践的に解説する。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 並行システムとは、マルチコアCPUを備えるPCやスマホのほか、組込み、スマートグリッドの処理にも欠かせないシステムである。 本書は、その基礎理論（プロセス代数）であるCSPを用いた並行システムの構築方法や検証、実装の方法を概説する。ソフトウェア開発者を中心に、並行プログラミングに挑戦したい人への一冊。

優れたソフトウェアを生み出すために 作業工程をどのように構築すべきか 【本書の内容】 本書は Ivar Jacobson, Harold "Bud" Lawson, Pan-Wei Ng, Paul E. McMahon, Michael Goedicke, "The Essentials of Modern Software Engineering: Free the Practices from the Method Prison!", ACM Books, 2019 の邦訳です。 ソフトウェアエンジニアリングの歴史は抽象化レベルの上昇である。このことは、プログラミング言語でも、ツールでも、フレームワークでも、ソフトウェア中心のシステムとやり取りをする方法においても見られる。それから、我々がこうしたシステムを構築する方法についてもそうだ。これがソフトウェアエンジニアリングの手法の世界である。 -Grady Booch（本書より抜粋） 本書は現代において複雑に進化し続けるソフトウェアとその開発に関する特定の手法を 教授・示唆・喧伝するものでは*ありません*。 そうではなく、どのような時代にあっても、どのような用途であっても、どのような利用環境であっても、 優れたソフトウェアをもたらす作業方法の作成方法 を提供することを意図して執筆されています。 「ソフトウェアエンジニアリング」というジャンルが生まれたときから連綿と続く、 その根幹を成してきた教程とは異なる、まさにモダン（現代的）なスタイルの、 「ソフトウェアエンジニアリング」を提示してくれます。 ※本電子書籍は同名出版物を底本として作成しました。記載内容は印刷出版当時のものです。 ※印刷出版再現のため電子書籍としては不要な情報を含んでいる場合があります。 ※印刷出版とは異なる表記・表現の場合があります。予めご了承ください。 ※プレビューにてお手持ちの電子端末での表示状態をご確認の上、商品をお買い求めください。

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 品質向上に貢献する、要求獲得技法を詳解！ ソフトウェアが社会に浸透すると供に、ソフトウェア開発の上流工程ではビジネスや運用環境の変化に即した要求の獲得・仕様化・確認・管理が求められている。要求工学では曖昧で変化しやすい要求を工学的に扱うことで、品質の高い要求仕様書を効率的に作成する各種の手法が開発されている。本書は、要求工学の基礎知識の理解と習得に役立つ1冊である。