まずは、無料で試し読み
30ページ読める
無料アプリで今すぐ読書
パソコンはブラウザビューアで簡単に読書できます
BOOK☆WALKERでデジタルで読書を始めよう。
BOOK☆WALKERではパソコン、スマートフォン、タブレットで電子書籍をお楽しみいただけます。
-
パソコンの場合
ブラウザビューアで読書できます。
-
iPhone/iPadの場合
詳しくはこちら
-
Androidの場合
詳しくはこちら
購入した電子書籍は(無料本でもOK!)いつでもどこでも読める!
ソフトウェア科学基礎 あらすじ・内容
-
オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。 本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。
「トップエスイー基礎講座」作品一覧
(2冊)各4,180円(税込)
オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。 本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。
品質向上に貢献する、要求獲得技法を詳解! ソフトウェアが社会に浸透すると供に、ソフトウェア開発の上流工程ではビジネスや運用環境の変化に即した要求の獲得・仕様化・確認・管理が求められている。要求工学では曖昧で変化しやすい要求を工学的に扱うことで、品質の高い要求仕様書を効率的に作成する各種の手法が開発されている。本書は、要求工学の基礎知識の理解と習得に役立つ1冊である。