ソフトウェア科学基礎 - 最先端のソフトウェア開発に求められる数理的基礎

個数:1
紙書籍版価格 ¥4,104
  • Kinoppy
  • Reader

ソフトウェア科学基礎 - 最先端のソフトウェア開発に求められる数理的基礎


ファイル: /

内容説明

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

目次

第0章 これから技術者をめざすひとのために
第1章 論理―正しいと考えられる事柄から正しい事柄を新たに導く
第2章 集合―多様な構造や構成の方法を知る
第3章 並行プログラム―並行性に特有の概念と知識を学ぶ
第4章 時相論理―システムやプログラムの動的な性質を記述する
第5章 検証性質の記述―一般の技術者がシステムの性質を記述する
第6章 オートマトン―コンピュータの動作を形式的に表現する
第7章 モデル検査基礎―並行システムのモデル検査を行う
第8章 モデル検査実装―検証モデル記述のノウハウを利用する
第9章 抽象解釈―モデル検査の複雑さを軽減する
第10章 モデル検査ツール―SPIN,SMV,LTSA,UPPAALを使う

 

同じシリーズの商品一覧

該当件数2件 全てにチェックを入れる/全てにチェックをはずす