TOP > 情報工学
 □ ニュースリリース
コミュニケーション・
情報リテラシー
工学一般
情報工学
電子工学
数学
物理学
ビジネス・経済
建築・都市計画
科学一般
公立はこだて未来大学出版会
発行
ナノオプト発行
弊社の書籍はお近くの書店・大学生協でお求めいただけます。店頭にない場合はお店からお取り寄せもできます。また、インターネットでもご購入いただけますので各販売サイトをご覧ください。
  サポート
   正誤表、授業用の教材などが
   あります
  地図(インプレスグループ)
   Google Map


株式会社 近代科学社

〒162-0843
東京都新宿区市谷田町2-7-15
TEL : 03-3260-6161
FAX : 03-3260-6059

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

book

発売日:2015年2月26日
定価:本体3,800円+税

紀伊國屋書店で注文
アマゾンでご予約

Kinoppyで電子書籍を購入

 

論理的なバグを発生させない形式手法!!

 Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いたJ.R.アブリエル氏が、考案した新しい形式仕様言語である。
 Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。
 本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。 具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。
 形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

 
著者 中島 震(国立情報学研究所教授)
來間 啓伸 (日立製作所)
ページ数 176
サイズ B5変型
ISBN 978-4-7649-0424-8

 

     
主要目次
  1. 形式手法とEvent-B
  2. Event-B入門
  3. 統合ツールRODIN
  4. 事例1:図書館システム
  5. 事例2:ドアロックシステム
  6. 発展的な話題
トップへ
 
本サイトのご利用についてお問合せプライバシーについて | 会社概要 | インプレスグループサイト | インプレスグループTop |
 Copyright © 2016 Kindai kagaku sha Co.,Ltd, an Impress Group company. All rights reserved.