2024-03-29T09:42:58Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001291742023-11-17T02:17:36Z06504:08103:08106
Z言語を対象とした対話型診断システム(3)Interactive Diagnosing System on Z Notation (3)jpnhttp://id.nii.ac.jp/1001/00129359/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=129174&item_no=1&attribute_id=1&file_no=1電気通信大学大学院 情報システム学研究科電気通信大学大学院 情報システム学研究科電気通信大学大学院 情報システム学研究科吉田, 玉緒松田, 昇岡本, 敏雄一般に仕様書の解釈の相違が原因となっているバグの発見は非常に難しく、高いコストを要する。この問題に対応するために様々な形式的仕様記述言語が開発されている。Z言語(Z)はその一例である。Zによるコスト削減は評価できるが、習得は容易でない。本研究はZを習得しようとしているユーザを支援するためにZで記述された仕様書(Z仕様書)の診断・記述およびユーザの状態の診断を行なうシステムを構築することを目的とする。具体的にはユーザの作成したZ仕様書の表記の間違いや矛盾を指摘し、ユーザからの質問に解答し、ユーザがZ仕様書の続きを作成するのに困難な場合は解答例を提示する。更に、Z仕様書の診断結果からユーザの状態を推論し、適切なアドバイスを行なう。AN00349328全国大会講演論文集第52回教育3453461996-03-062015-01-20