ソフトウェア科学基礎

ソフトウェア科学基礎

作者名 :
通常価格 4,104円 (税込)
獲得ポイント

20pt

  • 対応端末 :
  • Lideo
  • Win PC
  • iOS
  • Android
  • ブラウザ
  • DB50

新規会員限定半額クーポンプレゼント

作品内容

※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。

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

ジャンル
出版社
近代科学社
ページ数
365ページ
電子版発売日
2018年04月21日
コンテンツ形式
EPUB
ネタバレ

Posted by ブクログ 2012年01月04日

形式手法の教育を行う場合に、受講生は、本書を全部読んでいる必要はないという命題をたててみました。

トップエスイー実践講座3では、「高度な数学的知識を習得して、現実的なシステムの仕様記述に利用することは容易でははい。」「モデル検査は、検証に必要な証明の作業を完全に自動的に行うため、上述の形式検証技...続きを読む

このレビューは参考になりましたか?

この本をチェックした人は、こんな本もチェックしています

「BookLive!」の無料公式アプリ
アプリで手軽に読める!
マンガ、ラノベ、小説など、クラウド本棚でいつでもどこでも簡単・便利に。「BookLive!」の無料公式アプリ
  • App Storeからダウンロード
  • ANDROIDアプリ Google play