Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証(近代科学社) [電子書籍]
    • Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証(近代科学社) [電子書籍]

    • ¥3,960792ポイント(20%還元)
    • すぐ読めます
100000086600915126

Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証(近代科学社) [電子書籍]

本位田 真一(監修)中島 震(監修)来間 啓伸(著)
価格:¥3,960(税込)
ポイント:792ポイント(20%還元)(¥792相当)
フォーマット:
専用電子書籍リーダアプリ「Doly」が必要です。無料ダウンロード
出版社:近代科学社
公開日: 2007年12月01日
すぐ読めます。
お取り扱い: のお取り扱い商品です。
ご確認事項:電子書籍リーダーアプリ「Doly」専用コンテンツ
こちらの商品は電子書籍版です

Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証(近代科学社) の 商品概要

  • 仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。
  • 目次

    第1章 形式手法概論
    第2章 形式仕様の作成
    第3章 抽象機械
    第4章 仕様から実装へのステップ
    第5章 リファインメント
    第6章 インプリメンテーション
    第7章 事例研究
    第8章 次のステップ

    付録A 演習問題の解答
    付録B B言語の記号
    付録C Bによる事例研究の記述
  • 商品の注意点

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

Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証(近代科学社) の商品スペック

シリーズ名 トップエスイー実践講座
発行年月日 2007/12/01
書店分類コード K600
Cコード 3350
出版社名 近代科学社
他の近代科学社の電子書籍を探す
紙の本のISBN-13 9784764903470
ファイルサイズ 120.2MB
著者名 本位田 真一
中島 震
来間 啓伸
著述名 監修

    近代科学社 Bメソッドによる形式仕様記述 ソフトウェアシステムのモデル化とその検証(近代科学社) [電子書籍] に関するレビューとQ&A

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