主催: 吉田 則裕, 槇原 絵里奈
会議名: 第３０回ソフトウェア工学の基礎ワークショップ（FOSE2023）
開催地: 三重県鳥羽市
開催日: 2023/11/09 - 2023/11/11
岡山県立大学 https://ror.org/038bgk418
愛媛大学 https://ror.org/017hkng22
p. 123-128
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
産業界におけるモデル検査の利活用を促進するため，これまでに我々はビジュアルプログラミングを利用したモデル生成支援環境の開発を行ってきた．この環境では，ノードグラフ形式のビジュアルプログラミング環境である Node-RED を拡張することで，モデル検査ツール nuXmv の入力モデルを自動的に生成できる．本論文では，モデル検査の初学者を対象とした比較実験を通して，開発した支援環境の有用性の評価を行い，その結果をもとにモデル作成を効率化するための機能拡張について検討する．
すでにアカウントをお持ちの場合 サインインはこちら
https://ror.org/038bgk418 
