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

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

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

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

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

永遠に色あせない不朽の名著ベスト100冊のエッセンスをまるごと紹介！ 「コンピュータ名著読書委員会」が、コンピュータ出版史に残る歴史的名著を選出。 今だからこそ読む価値がある--「コンピュータを読み解く」ためのブックガイド。 有名ソフト開発者などのゲストのコラムや、本書で紹介した名著を読むための「入門ガイド」を掲載。

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

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

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

・「入門ANSI-C」が装いを新たにJIS X 3010:2003およびISO/IEC9899:2011に対応 ・ていねいな記述でC言語の初学者でも安心 ・豊富なプログラム例と多彩なイラストで理解しやすい

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

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

高速で24時間インターネットにつながるブロードバンドが、私たちの生活や社会を大きく変えようとしている。ADSLやCATVや光ファイバーを使う技術とはどんなものなのか。テレビ、教育、出版、ゲームはいかなる影響を受けるのか。ブロードバンドの基礎から賢い使い方までをやさしく解説。さあ始めよう、ブロードバンド。

ベテランIT技術者が、人間味あふれるプログラマーの仕事を余すところなく紹介！この10年間でパソコンが爆発的に普及し、インターネットへの接続が一般化したことによって、IT業界の業務内容は多様化し、細分化されてきました。それに伴い、従来のエンジニアという職種は、多様な職種へと枝分かれすることになったのです。現在、IT業界にはカタカナの職種が氾濫し、なんとなくカッコイイとかトレンディだと思われて、職業としての人気が高まっているようです。しかし、実際IT業界に就職したけれど思っていた内容とは違う、こんなはずではなかった、という人も多いのではないでしょうか。このような「就職のミスマッチ」を少しでもなくすために、IT業界を支えるさまざまな人々を、それぞれの職種という切り口で共通点を大まかにとらえ、その役割や生き様を紹介します。プロフェッショナルシリーズの第１弾となる本書では、IT業界の登竜門とも言える「プログラマー」という職種について取り上げます。

※この電子書籍は固定レイアウト型で配信されております。固定レイアウト型は文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。 本書は、アメリカの標準規格として1988年末に提出されたC言語のANSI規格にもとづいて第1版を全面的に書き直した新版である。ごく常識的に言えば、C言語はリッチー博士がベル研で1973年に開発して以来、多くのプログラマに使われているから、その仕様変更はちょっと不可能ということになるが、アメリカはあえて、そのCの仕様変更・機能拡張をやってのけた。これでCが近代的なプログラミング言語としてよみがえったのだからすばらしい。 本書の付録Cの要約でもわかる通り、ANSI規格による変更（機能拡張）はそう大幅なものではないが、重要な改良点を多く含んでいる。Cによるプログラミングは、これまで自由度がありすぎて危険だとよくいわれてきたが、ANSIによって改良された結果、Cによるプログラミングの安全性は大いに向上した。これでCの寿命は一段と長くなり、Cは今後ますます広く使われることになるであろう。

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

本書の内容は類書にはみられない、極めてユニークなものになっている。例えば、UNIXでは、シェルと呼ばれるコマンド・アナライザのレベルで、いろいろなコマンドを組み合わせることによって、複雑なコマンドを実現することが可能であるが、そのためのノウハウを本書は教えてくれるのである。私自身も、今までUNIXをかなり使い込んでいる一人だと思っていたが、本書にはいろいろと教えられた。UNIXには、自分がまだ全く使ったことのない機能、使い方さえ想像できなかった機能が数多くあることに改めて驚嘆している。（"監訳者まえがき"より）

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