お知らせ 2023年度・2024年度 学生員 会費割引キャンペーン実施中です
お知らせ 技術研究報告と和文論文誌Cの同時投稿施策(掲載料1割引き)について
お知らせ 電子情報通信学会における研究会開催について
お知らせ NEW 参加費の返金について
電子情報通信学会 研究会発表申込システム
講演論文 詳細
技報閲覧サービス
[ログイン]
技報アーカイブ
 トップに戻る 前のページに戻る   [Japanese] / [English] 

講演抄録/キーワード
講演名 2005-07-25 15:30
SPINによる仕様記述言語の検証
堂園隼人橋本正明鵜林尚靖片峯恵一九工大
抄録 (和) 本稿では,ソフトウェア仕様設定の信頼性向上のため,仕様記述言語e-PSDLを用いて記述された仕様から状態遷移図を抽出し,その状態遷移図をSPINにより検証するための研究について述べる.現在,ソフトウェアは大規模化し,複雑化しており,信頼性と生産性の向上が求められている.そのため,我々は,仕様の理解性の向上や仕様合成の容易化を目的とした仕様記述言語e-PSDLの言語仕様と,そのプログラムジェネレータの試作を行っている.本稿では,その研究を仕様検証へ発展させ,その検証の一方法を示すとともに,今後の研究課題を考察する. 
(英) For improving the reliability of software specifications, this article describes the research to extract a state transition diagram from specifications described with a specification description language named e-PSDL and to verify the state transition diagram by SPIN. Recently, software needs the improvement of development methodology because of its increasing scale and complexity. Therefore, we have been studying a specification description language for helping the comprehension and the specification synthesis, and a program generator. This article describes the research on the specification verification and discusses the future study topics.
キーワード (和) 仕様記述言語 / ルール / 状態遷移図 / SPIN / 仕様検証 / / /  
(英) Specification Description Language / Rule / State Transition Diagram / SPIN / Specification Verification / / /  
文献情報 信学技報, vol. 105, no. 207, KBSE2005-8, pp. 19-24, 2005年7月.
資料番号 KBSE2005-8 
発行日 2005-07-18 (KBSE) 
ISSN Print edition: ISSN 0913-5685
PDFダウンロード

研究会情報
研究会 KBSE  
開催期間 2005-07-25 - 2005-07-26 
開催地(和) 愛媛大学総合情報メディアセンター会議室 
開催地(英) Ehime University 
テーマ(和) 知能ソフトウェア工学,一般 
テーマ(英) Knowledge-Based Software engineering, etc 
講演論文情報の詳細
申込み研究会 KBSE 
会議コード 2005-07-KBSE 
本文の言語 日本語 
タイトル(和) SPINによる仕様記述言語の検証 
サブタイトル(和)  
タイトル(英) SPIN-Based Verification of Specifications Described with A Specification Description Language 
サブタイトル(英)  
キーワード(1)(和/英) 仕様記述言語 / Specification Description Language  
キーワード(2)(和/英) ルール / Rule  
キーワード(3)(和/英) 状態遷移図 / State Transition Diagram  
キーワード(4)(和/英) SPIN / SPIN  
キーワード(5)(和/英) 仕様検証 / Specification Verification  
キーワード(6)(和/英) /  
キーワード(7)(和/英) /  
キーワード(8)(和/英) /  
第1著者 氏名(和/英/ヨミ) 堂園 隼人 / Hayato Douzono / ドウゾノ ハヤト
第1著者 所属(和/英) 九州工業大学 (略称: 九工大)
Kyushu Institute of Technology (略称: KIT)
第2著者 氏名(和/英/ヨミ) 橋本 正明 / Masaaki Hashimoto / ハシモト マサアキ
第2著者 所属(和/英) 九州工業大学 (略称: 九工大)
Kyushu Institute of Technology (略称: KIT)
第3著者 氏名(和/英/ヨミ) 鵜林 尚靖 / Naoyasu Ubayashi / ウバヤシ ナオヤス
第3著者 所属(和/英) 九州工業大学 (略称: 九工大)
Kyushu Institute of Technology (略称: KIT)
第4著者 氏名(和/英/ヨミ) 片峯 恵一 / Keiichi Katamine / カタミネ ケイイチ
第4著者 所属(和/英) 九州工業大学 (略称: 九工大)
Kyushu Institute of Technology (略称: KIT)
第5著者 氏名(和/英/ヨミ) / /
第5著者 所属(和/英) (略称: )
(略称: )
第6著者 氏名(和/英/ヨミ) / /
第6著者 所属(和/英) (略称: )
(略称: )
第7著者 氏名(和/英/ヨミ) / /
第7著者 所属(和/英) (略称: )
(略称: )
第8著者 氏名(和/英/ヨミ) / /
第8著者 所属(和/英) (略称: )
(略称: )
第9著者 氏名(和/英/ヨミ) / /
第9著者 所属(和/英) (略称: )
(略称: )
第10著者 氏名(和/英/ヨミ) / /
第10著者 所属(和/英) (略称: )
(略称: )
第11著者 氏名(和/英/ヨミ) / /
第11著者 所属(和/英) (略称: )
(略称: )
第12著者 氏名(和/英/ヨミ) / /
第12著者 所属(和/英) (略称: )
(略称: )
第13著者 氏名(和/英/ヨミ) / /
第13著者 所属(和/英) (略称: )
(略称: )
第14著者 氏名(和/英/ヨミ) / /
第14著者 所属(和/英) (略称: )
(略称: )
第15著者 氏名(和/英/ヨミ) / /
第15著者 所属(和/英) (略称: )
(略称: )
第16著者 氏名(和/英/ヨミ) / /
第16著者 所属(和/英) (略称: )
(略称: )
第17著者 氏名(和/英/ヨミ) / /
第17著者 所属(和/英) (略称: )
(略称: )
第18著者 氏名(和/英/ヨミ) / /
第18著者 所属(和/英) (略称: )
(略称: )
第19著者 氏名(和/英/ヨミ) / /
第19著者 所属(和/英) (略称: )
(略称: )
第20著者 氏名(和/英/ヨミ) / /
第20著者 所属(和/英) (略称: )
(略称: )
講演者 第1著者 
発表日時 2005-07-25 15:30:00 
発表時間 40分 
申込先研究会 KBSE 
資料番号 KBSE2005-8 
巻番号(vol) vol.105 
号番号(no) no.207 
ページ範囲 pp.19-24 
ページ数
発行日 2005-07-18 (KBSE) 


[研究会発表申込システムのトップページに戻る]

[電子情報通信学会ホームページ]


IEICE / 電子情報通信学会