eBook-1

IT技術書の横断検索サイトeBook-1イーブックワン

ソフトウェア科学基礎―最先端のソフトウェア開発に求められる数理的基礎 (トップエスイー基礎講座) 9/1/2008

祥尚, 磯部, 健年, 櫻庭, 研治, 田口, 康之, 田原, 文洋, 粂野, 譲, 田中
Amazon紙の本-
達人出版会PDFEPUB4,598

※価格は取得時点での税込み価格です。最新の価格および「-円」の商品の価格はリンク先のストアでご確認ください。

ISBN:
9784764903555
ページ数:
345
カテゴリー:
コンピュータサイエンス プログラミング
出版日:
9/1/2008
出版社:
近代科学社

概要 (取得元)

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

\ Please Share! /

類似書籍

;