Event-B : リファインメント・モデリングに基づく形式手法

Author(s)

Bibliographic Information

Event-B : リファインメント・モデリングに基づく形式手法

中島震, 來間啓伸共著

近代科学社, 2015.2

Other Title

EventB : リファインメントモデリングに基づく形式手法

Title Transcription

Event-B : リファインメント・モデリング ニ モトズク ケイシキ シュホウ

Available at  / 13 libraries

Note

参考文献あり

Description and Table of Contents

Description

そもそも形式手法とは、という話題、Ｅｖｅｎｔ‐Ｂの基本的な考え方、ＲＯＤＩＮツールを用いるＥｖｅｎｔ‐Ｂ仕様作成ならびに検証作業の概要、Ｅｖｅｎｔ‐Ｂの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。

Table of Contents

  • 第１章　形式手法とＥｖｅｎｔ‐Ｂ
  • 第２章　Ｅｖｅｎｔ‐Ｂ入門
  • 第３章　統合ツールＲＯＤＩＮ
  • 第４章　事例１：図書館システム
  • 第５章　事例２：ドアロックシステム
  • 第６章　発展的な話題

by "BOOK database"

Details

  • NCID
    BB18288373
  • ISBN
    • 9784764904248
  • Country Code
    ja
  • Title Language Code
    jpn
  • Text Language Code
    jpn
  • Place of Publication
    東京
  • Pages/Volumes
    x, 161p
  • Size
    24cm
  • Classification
  • Subject Headings
Page Top