ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎(近代科学社) [電子書籍]
    • ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎(近代科学社) [電子書籍]

    • ¥4,180836ポイント(20%還元)
    • すぐ読めます
100000086600915129

ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎(近代科学社) [電子書籍]

価格:¥4,180(税込)
ポイント:836ポイント(20%還元)(¥836相当)
フォーマット:
専用電子書籍リーダアプリ「Doly」が必要です。無料ダウンロード
出版社:近代科学社
公開日: 2008年09月30日
すぐ読めます。
お取り扱い: のお取り扱い商品です。
ご確認事項:電子書籍リーダーアプリ「Doly」専用コンテンツ
こちらの商品は電子書籍版です

ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎(近代科学社) の 商品概要

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

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

    この商品は固定レイアウトで作成されており、タブレットなど大きいディスプレイを備えた端末で読むことに適しています。購入前にお使いの端末で無料サンプルをお試しください。

ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎(近代科学社) の商品スペック

シリーズ名 トップエスイー基礎講座
発行年月日 2008/09/30
書店分類コード K600
Cコード 3350
出版社名 近代科学社
他の近代科学社の電子書籍を探す
紙の本のISBN-13 9784764903555
ファイルサイズ 249.8MB
著者名 本位田 真一
田中 譲
磯部 祥尚
粂野 文洋
櫻庭 健年
田口 研治
田原 康之
著述名 監修

    近代科学社 ソフトウェア科学基礎 最先端のソフトウェア開発に求められる数理的基礎(近代科学社) [電子書籍] に関するレビューとQ&A

    商品に関するご意見やご感想、購入者への質問をお待ちしています!