WEKO3
アイテム
ビジュアルプログラミングに基づくモデル検査支援環境の開発と評価
https://ipsj.ixsq.nii.ac.jp/records/237376
https://ipsj.ixsq.nii.ac.jp/records/237376bb0dad8c-3c10-4558-8633-c1d48839c8f9
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE24217022.pdf (2.5 MB)
2026年7月18日からダウンロード可能です。
|
Copyright (c) 2024 by the Information Processing Society of Japan
|
|
| 非会員：¥660, IPSJ:学会員：¥330, SE:会員：¥0, DLIB:会員：¥0 | ||
| Item type | SIG Technical Reports(1) | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-07-18 | |||||||||||||||
| タイトル | ||||||||||||||||
| タイトル | ビジュアルプログラミングに基づくモデル検査支援環境の開発と評価 | |||||||||||||||
| タイトル | ||||||||||||||||
| 言語 | en | |||||||||||||||
| タイトル | Development and Evaluation of Visual Modelling Environment for Model Checking | |||||||||||||||
| 言語 | ||||||||||||||||
| 言語 | jpn | |||||||||||||||
| 資源タイプ | ||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||||||||
| 資源タイプ | technical report | |||||||||||||||
| 著者所属 | ||||||||||||||||
| 岡山県立大学 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 岡山県立大学 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 岡山県立大学 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 愛媛大学 | ||||||||||||||||
| 著者所属 | ||||||||||||||||
| 岡山県立大学 | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Okayama Prefectural University | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Okayama Prefectural University | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Okayama Prefectural University | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Ehime University | ||||||||||||||||
| 著者所属(英) | ||||||||||||||||
| en | ||||||||||||||||
| Okayama Prefectural University | ||||||||||||||||
| 著者名 |
水本, 拓海
× 水本, 拓海
× 横川, 智教
× 天嵜, 聡介
× 阿萬, 裕久
× 有本, 和民
|
|||||||||||||||
| 論文抄録 | ||||||||||||||||
| 内容記述タイプ | Other | |||||||||||||||
| 内容記述 | 産業界におけるモデル検査の利活用を促進するため，これまでに我々はビジュアルプログラミングを利用したモデル生成支援環境の開発を行ってきた．この環境では，ノードグラフ形式のビジュアルプログラミング環境である Node-RED を拡張することで，モデル検査ツール nuXmv の入力モデルを自動的に生成できる．本研究では，モデル検査の初学者を対象としたユーザビリティテストを通して，nuXmv のモデルを人手で作成した場合と比較しての開発した支援環境の有用性の評価を行った． | |||||||||||||||
| 書誌レコードID | ||||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||||
| 収録物識別子 | AN10112981 | |||||||||||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2024-SE-217, 号 22, p. 1-8, 発行日 2024-07-18 |
|||||||||||||||
| ISSN | ||||||||||||||||
| 収録物識別子タイプ | ISSN | |||||||||||||||
| 収録物識別子 | 2188-8825 | |||||||||||||||
| Notice | ||||||||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||||||||
| 出版者 | ||||||||||||||||
| 言語 | ja | |||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||
