電子書籍
ソフトウェア科学基礎
オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証す...
ソフトウェア科学基礎
ワンステップ購入とは ワンステップ購入とは
ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座)
商品説明
オープンソースの広がりにより、多様な機能を実現することは以前と比較すると驚くばかりに容易になっている。しかし、このような開発法ではスケーラビリティと高信頼性を同時に保証することはできない。機能の実現や追加が比較的安易にできる時代になったからこそ、成長し続けるシステム全体の正常な動作を保証しうる開発検査手法の必要性が増している。本書では、優れた開発者として最先端の理論やツールと使ってソフトウェア開発をするために必要な基礎知識である、論理学、並行システム、オートマトン、モデル検査のアルゴリズムや実装技術、モデル検証ツールをまとめて解説する。
目次
- 第0章 これから技術者をめざすひとのために
- 第1章 論理―正しいと考えられる事柄から正しい事柄を新たに導く
- 第2章 集合―多様な構造や構成の方法を知る
- 第3章 並行プログラム―並行性に特有の概念と知識を学ぶ
- 第4章 時相論理―システムやプログラムの動的な性質を記述する
- 第5章 検証性質の記述―一般の技術者がシステムの性質を記述する
- 第6章 オートマトン―コンピュータの動作を形式的に表現する
- 第7章 モデル検査基礎―並行システムのモデル検査を行う
- 第8章 モデル検査実装―検証モデル記述のノウハウを利用する
- 第9章 抽象解釈―モデル検査の複雑さを軽減する
あわせて読みたい本
前へ戻る
- 対象はありません
次に進む
この著者・アーティストの他の商品
前へ戻る
- 対象はありません
次に進む
小分け商品
前へ戻る
- 対象はありません
次に進む
この商品の他ラインナップ
前へ戻る
- 対象はありません
次に進む