特価¥1,980( 本体 ¥1,800 )
通常価格¥3,960( 本体 ¥3,600 )
蝉しぐれそそぐ！Kinoppy 電子書籍・電子洋書 全点ポイント２５倍キャンペーン（～8/3）
商品詳細
仕様の段階で誤りをなくす注目の手法「Bメソッド」を実践活用するための解説書。安心安全を含めてますます高度な機能や性能が要求されるソフトウェアシステムの開発において、厳密な仕様記述を基に開発を行う形式手法に対する関心と期待が高まっている。本書は、我が国初のBメソッドの書き下ろし入門書である。実際の開発への適用を意識した実用指向の内容が、平明でわかりやすく記述されている。
第1章 形式手法概論
第2章 形式仕様の作成
第3章 抽象機械
第4章 仕様から実装へのステップ
第5章 リファインメント
第6章 インプリメンテーション
第7章 事例研究
第8章 次のステップ
付録A 演習問題の解答
付録B B言語の記号
付録C Bによる事例研究の記述
第1章 形式手法概論
第2章 形式仕様の作成
第3章 抽象機械
第4章 仕様から実装へのステップ
第5章 リファインメント
第6章 インプリメンテーション
第7章 事例研究
第8章 次のステップ
付録A 演習問題の解答
付録B B言語の記号
付録C Bによる事例研究の記述
購入前の注意点
・3Dセキュア導入とクレジットカードによるお支払いについて
・この書籍はKinoppy for iOS、Kinoppy for Android、Kinoppy for Windows または Kinoppy for Mac（いずれも最新版）でお読みください。
・電子書籍は会員サービス利用規約に則してご利用いただきます。
・海外会員様にはプレゼントを贈れません。
・この書籍はKinoppy for iOS、Kinoppy for Android、Kinoppy for Windows または Kinoppy for Mac（いずれも最新版）でお読みください。
・電子書籍は会員サービス利用規約に則してご利用いただきます。
・海外会員様にはプレゼントを贈れません。
著者情報
中島震［ナカジマシン］
１９８１年東京大学大学院理学系研究科修士課程修了。現在、国立情報学研究所教授・総合研究大学院大学教授。学術博士。この間、科学技術振興機構さきがけ研究員（兼任）、北陸先端科学技術大学院大学客員教授を歴任。形式手法、自動検証、ソフトウェア・モデリング、などの研究に従事
来間啓伸［クルマヒロノブ］
１９８３年広島大学大学院理学研究科博士課程前期修了。１９８４年株式会社日立製作所。２００６年総合研究大学院大学複合科学研究科修了。博士（学術）。現在、株式会社日立製作所システム開発研究所・国立情報学研究所特任教授。ソフトウェア工学の研究に従事。形式手法、コンピュータ・セキュリティ、自律分散システムに興味を持つ（本データはこの書籍が刊行された当時に掲載されていたものです）
１９８１年東京大学大学院理学系研究科修士課程修了。現在、国立情報学研究所教授・総合研究大学院大学教授。学術博士。この間、科学技術振興機構さきがけ研究員（兼任）、北陸先端科学技術大学院大学客員教授を歴任。形式手法、自動検証、ソフトウェア・モデリング、などの研究に従事
来間啓伸［クルマヒロノブ］
１９８３年広島大学大学院理学研究科博士課程前期修了。１９８４年株式会社日立製作所。２００６年総合研究大学院大学複合科学研究科修了。博士（学術）。現在、株式会社日立製作所システム開発研究所・国立情報学研究所特任教授。ソフトウェア工学の研究に従事。形式手法、コンピュータ・セキュリティ、自律分散システムに興味を持つ（本データはこの書籍が刊行された当時に掲載されていたものです）
