| Item type |
Symposium(1) |
| 公開日 |
2016-01-28 |
| タイトル |
|
|
タイトル |
自然語要求仕様記述の形式検証に向けて -話題沸騰ポットのモデル検査- |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Towards Formal Verification on Specification in a Natural Language -Model Checking for“Electric pot, GOMA type 1015”- |
| 言語 |
|
|
言語 |
jpn |
| キーワード |
|
|
主題Scheme |
Other |
|
主題 |
形式手法 |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_5794 |
|
資源タイプ |
conference paper |
| 著者所属 |
|
|
|
信州大学工学部情報工学科 |
| 著者所属 |
|
|
|
信州大学工学部情報工学科 |
| 著者所属 |
|
|
|
信州大学工学部情報工学科 |
| 著者所属 |
|
|
|
日本大学工学部情報工学科 |
| 著者所属(英) |
|
|
|
en |
|
|
Faculty of Engineering, Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
Faculty of Engineering, Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
Faculty of Engineering, Shinshu University |
| 著者所属(英) |
|
|
|
en |
|
|
College of Engineering, Nihon University |
| 著者名 |
遠藤, 健
小形, 真平
岡野, 浩三
関澤, 俊弦
|
| 著者名(英) |
Ken, Endo
Shinpei, Ogata
Kozo, Okano
Toshifusa, Sekizawa
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
自然語記述された要求仕様記述からその記述の問題点を洗い出すことができれば手戻りの解決に繋がる．本研究では自然語記述された要求仕様記述から半自動変換を経て形式手法を適用する方法を考案することを目標にその準備研究を行っている．本報告ではその準備研究の一環として話題沸騰ポットの要求仕様記述を人手で状態遷移モデルに変換し，NuSMV でモデル検査を行った取り組みについて報告する． |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Formal verification on specification in a natural language would be great challenge in software engineering. It would help for software engineers to reduce rework in development stages. We now considering a semi-auto translation method from specification in a natural language into formal specification which can be an input to usual formal method tools. As a first step of the challenge, we perform model checking on a behavioral model obtained from specification of an electric pot written in a Japanese. This report describes the translation method and obtained results of the model checking. |
| 書誌情報 |
ウィンターワークショップ2016・イン・逗子 論文集
巻 2016,
p. 3-4,
発行日 2016-01-28
|
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-WWS2016101.pdf (520.4 kB)
