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

Author(s)

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

Bibliographic Information

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

来間啓伸著

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

近代科学社, 2007.12

Other Title

Software development with B

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

Title Transcription

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

Note

参考文献: p167-169

監修: 中島震

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

• NCID: BA84904814
• ISBN:
  • 9784764903470
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京
• Pages/Volumes: xix, 213p
• Size: 24cm
• Classification:
  • NDC8 : 007.63
  • NDC9 : 007.63
• Subject Headings:
  • BSH : ソフトウェア工学
• Parent Bibliography ID:
  • BA84687793