電子書籍 トップエスイー基礎講座 実用

著者: 磯部 祥尚  著者: 粂野文洋  他

まずは、無料で試し読み

試し読み

30ページ読める

新規会員登録へ

無料アプリで今すぐ読書

パソコンはブラウザビューアで簡単に読書できます

BOOK☆WALKERでデジタルで読書を始めよう。

BOOK☆WALKERではパソコン、スマートフォン、タブレットで電子書籍をお楽しみいただけます。

購入した電子書籍は(無料本でもOK!)いつでもどこでも読める!

ソフトウェア科学基礎 あらすじ・内容

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

この作品を共有

「トップエスイー基礎講座」最新刊

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

「トップエスイー基礎講座」作品一覧

(2冊)

各4,180(税込)

まとめてカート

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

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

「トップエスイー基礎講座」の作品情報

レーベル
――
出版社
近代科学社
ジャンル
実用
ページ数
366ページ (ソフトウェア科学基礎)
配信開始日
2018年4月13日 (ソフトウェア科学基礎)
対応端末
  • PCブラウザ
    ビューア
  • Android
    (スマホ/タブレット)
  • iPhone / iPad