文献

J-GLOBAL ID：201402296640933443   整理番号：14A0454683

Event-B : リファインメントに基づくシステム・モデリング

Event-B : Refinement-based System Modeling

著者 (2件)： 來間啓伸 (日立製作所横浜研究所) ,  中島震 (国立情報学研究所 & 総合研究大学院大学)
資料名： コンピュータソフトウェア  (Computer Software)
巻： 31  号： 1  ページ： 1.43-1.48 (J-STAGE)  発行年： 2014年 
JST資料番号： Y0628A  ISSN： 0289-6540  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： ソフトウェア技術の高信頼性・高安全性が求められ,高信頼性達成に,形式手法が必須の技術になってきた。形式手法の理想的な形は,構築からの正しさ(Correct by Construction:CxC)であるが,Event-Bは,その後継として考案された。本稿では,そのEvent-Bを紹介した。その特徴は,絶妙なバランスの言語設計(イベント概念の採用,リファインメントとの定式化と使い方),Eclipseベースの統合支援環境HODIN,である。Event-BとBメソッドの相意,国内外の利用状況などの最新情報を含めて,Event-Bの特徴を解説した。

シソーラス用語： *改良 ,  *モデリング ,  *形式的手法【計算機】 ,  *信頼性 ,  *言語設計 ,  *支援プログラム
準シソーラス用語： *適合性リファインメント ,  *システムモデリング ,  形式手法 ,  *ソフトウェア信頼性 ,  *Event-B ,  *Eclipse

分類 (1件)： システムプログラミング一般  (JD03010Y)

タイトルに関連する用語 (1件)： モデリング