文献
J-GLOBAL ID:201702252348780079
整理番号:17A0654040
モデル検査によるゲームシナリオの不具合発見ツールの提案
-
出版者サイト
{{ this.onShowPLink() }}
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=17A0654040©=1") }}
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=17A0654040&from=J-GLOBAL&jstjournalNo=U0451A") }}
著者 (2件):
,
資料名:
巻:
2017
号:
SE-195
ページ:
Vol.2017-SE-195,No.13,1-9 (WEB ONLY)
発行年:
2017年03月05日
JST資料番号:
U0451A
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
日本 (JPN)
言語:
日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
ゲーム開発において,シナリオの不具合がないことを発見することは重要である。状態空間の網羅的な検査が可能なモデル検査を用いてゲームシナリオの不具合を発見する研究は過去にもなされているが,シナリオ作成者が実際に適用するには困難さがあった。本研究では,シナリオ作成者が実際に利用できるツールとして,ゲームシナリオとテンプレートに従った簡単な性質記述を入力することによりSPINを利用して不具合を発見するツールを提案する。(著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
,
,
,
,
,
,
,
準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
,
,
,
,
,
分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
計算機システム開発
タイトルに関連する用語 (7件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
,
,
,
,
,
,
前のページに戻る