Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証

著者

• 来間, 啓伸 クルマ, ヒロノブ
• 中島, 震 ナカジマ, シン

書誌事項

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証

来間啓伸著

（トップエスイー実践講座, 1）

近代科学社, 2007.12

タイトル別名

Software development with B

Bメソッドによる形式仕様記述 : ソフトウェアシステムのモデル化とその検証

タイトル読み

B メソッド ニ ヨル ケイシキ シヨウ キジュツ : ソフトウェア システム ノ モデルカ ト ソノ ケンショウ

注記

参考文献: p167-169

監修: 中島震

内容説明・目次

内容説明

日本初！待望のＢメソッド解説書。実際の開発への適用を意識した実用指向の内容で、形式手法の理解と習得に格好の書。

目次

• 第１章　形式手法概論
• 第２章　形式仕様の作成
• 第３章　抽象機械
• 第４章　仕様から実装へのステップ
• 第５章　リファインメント
• 第６章　インプリメンテーション
• 第７章　事例研究
• 第８章　次のステップ
• 付録

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA84904814
• ISBN:
  • 9784764903470
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xix, 213p
• 大きさ: 24cm
• 分類:
  • NDC8 : 007.63
  • NDC9 : 007.63
• 件名:
  • BSH : ソフトウェア工学
• 親書誌ID:
  • BA84687793